Cosmetic changes to gen/todebug.h.

Remove an unused prototype and transform comment from JavaDoc-style
to Doxygen.