debian: install more stuff in /usr/share/doc

add stuff from TOOLS and more stuff from DOCS
Merge branch 'master' of https://github.com/mpv-player/mpv-build