doxygen: Add --debug option and a patch for it