Fix Doxyfile and ignore generated files in doc/html.
Ignore generated html docs from doxygen.