dav1d 0.5.2 AV1 decoder

dav1d is a new AV1 cross-platform decoder, and focused on speed and correctness.