doc/Doxyfile: bumped to 1.8.8.