dav1d 0.3.1 'Sailfish', the fast and small AV1 decoder

This is a small bugfix release fixing a decoding issue on SSSE3 CPU,
when frame-threading is activated.

It also reduces the binary size and gives more optimizations for SSSE3
and ARM CPUs.