Push HTML documentation to github.io documentation domain.

[rec]

• Make sure the py documentation is complete.
• Set up sphinx or similar: https://stackoverflow.com/questions/10057476/
• Make a github.io site with the results.

[rec]

pydoc already does a mediocre job on what we have, but the styles are truly horrid.

[rec]

Sphinx is probably the ticket.