[gdb] Remove '/**<' comment marker
Another comment marker doxygen supports is "/**<". Replace it with "/*".
Suggested-By: Kevin Buettner <kevinb@redhat.com>
Approved-By: Tom Tromey <tom@tromey.com>
Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=34186