Convert man pages from AsciiDoc to docbook

AsciiDoc has a lot of dependencies, mostly texlive while xsltproc and
docbook stylesheets are often already installed and don't require heavy
dependencies.
Fix tarball generation

Files in EXTRA_DIST were wrong.