Updated the Doxygen config files for Doxygen 1.8.7.