Create generatedocs.py

A script that fetches all html docs from the directory, stores them in the htmldocs folder and launches a server to view them