Add Doxygen support to GDB