Documentation: add top level 'make help' output for Sphinx