A script to publish Sphinx documents to Github pages