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

add stuff from TOOLS and more stuff from DOCS