dox: update the Doxyfile to doxygen 1.8.8.