dav1d is an AV1 decoder :)

Targeted to be small and fast.