doxygen upgrade to 1.8.8

1.8.7 -> 1.8.8