Update man page generation

Use xsltproc directly, rather than the docbook2man wrapper.
Turn the man page source into xml, and modernize it a bit.
Also, document the available commandline options.