Reorganized doxygen, removing old one and using new one (in reality, put all html docs under doxygen/html/ where they should have been in the first place.)