Added the HTML files to import into ReadTheDocs

The generated files still need a lot of work!