Add doc/Doxyfile and ignore the html directory Doxygen generates.