avcodec/allcodecs: make libdav1d the preferred AV1 decoder