A postprocessor for Doxygen generating C++-suited HTML