Use docbook-xsl to build man pages

Use the style sheets from docbook-xsl to build man pages from DocBook,
instead of the obsolete docbook2x package.  Adjust Debian build
dependencies accordingly.

Add some man page metadata required by the new tool chain to the
sources.