Manpage: Fix formatting (mostly for PDF output)
DOCS/crosscompile-mingw.txt: Update
demux_mkv: support V_PRORES

Why not...

Code for demangling Matroska-style prores video packets inspired by
libavformat's Matroska demuxer.
demux: keep title chapter tag in uppercase

This is generally more uniform.

Do the same for the file global title in demux_mkv.c, although that is
not strictly related to chapters.
Add PDF manual target

This builds a PDF version of the manpage using rst2latex
and pdflatex, and installs it to PREFIX/share/doc/mpv by
default.
wayland/shm: version detection that also works

The previous method would break on the next release. Because I am stupid.
wayland: update license headers
manpage: various improvements

Took a superficial look at the manpage, and fixed whatever I spotted.
Makefile: restore manpage dependency rules

Broken by commit 0054073.

Also add them to the pdf target.
mplayer: mentioned --list-options in --help output

It's annoying for users if you can't get a list of options with --help,
but on the other hand, printing all options would be overkill. So just
mentioned --list-options.
stream: force demuxer of cached stream, fixes cdda:// + cache
command: make title property unavailable if there's no support

Instead of returning 0 if the stream doesn't have title info, make the
property unavailable.
stream_bluray: return number of titles

So that the "titles" property returns the number of titles.
quvi: coerce libquvi 0.4 support into allowing format switching

libquvi 0.4 doesn't allow us listing the formats supported by a
streaming site without doing additional network accesses, so switching
formats was not supported with it. (It's different with libquvi 0.9.)

But the most important case is switching between SD and HD. Usually,
--quvi-format=default will get SD, while --quvi-format=best gives HD.
Use this, and pretend that an URL supported by libquvi 0.4 supports both
of these. "cycle quvi-format" will switch between these. If the user
specifies something else via --quvi-format, this is included in the list
of switchable formats additionally to "default" and "best".
quvi: restore playback position when switching formats

This simply issues a seek after reloading.
mplayer: print libquvi results in verbose mode

Helpful for debugging.
wayland/common: improved error messages

The previous error message were not very usefull.
Also include a hint where to look for solutions.
mplayer: remove duplicated mouse autohide check
cocoa_common: remove most of the special handling for cursor autohide

This is mostly related to the fullscreen behaviour. cecbd8864 introduces an
option to make mpv behave like a OSX user would expect. This commit changes
the Cocoa parts of the code to be consistent with the behaviour on X11. Old
behaviour is still available through the option mentioned in cecbd8864.

There is still custom logic in the cocoa backend and it can probably be moved
to core:

  * Don't perform autohide if the mouse is down
  * Don't perform autohide outside of the video window

Fixes #218 (by accident)
input: convert to new msg API