Auto-generate man pages using help2man.

You need to use the build_man and install_man commands with setup.py,
since these man pages are not usually needed.