Update Doxyfile to more recent version of doxygen