Updating doc generation to Doxygen 1.8.3.1