Adding support for HTML output
More work on the HTML version of the REST API
Made TOC the default target for the REST API