doxygen: Update to 1.8.8