Update Doxyfile for newer doxygen.