debuginfo: Add GDB pretty printers