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
input: fix accidental NULL pointer dereference

This could happen if the input queue was full, and an unmapped key was
used, or something like this.

Possibly fixes github issue #224.
Makefile: update DIRS to fix cleaning

Commits 40624100 and 72f2942df didn't update the variable accordingly.
gl_x11: mp_msg conversion
w32_common: mp_msg conversion
gl_32: mp_msg conversion