[dev] Updating doxyfile entries for doxygen 1.8.8.