Autogen of html docs

This closes issue #50