Moved the html/ documentation folder to doxygen/