as instructed by doxygen, I ran doxyfile -u to update Doxyfile, add new configuration options, preserve user-defined settings, remove obsolete settings

Author: dlebauer