Use Sphinx to build man pages