Update mpv

Also add --disable-doc to the ffmpeg options. They're useless and make
the local installation slightly slower.