Script to prepare Sphinx html output for github pages.