GDB config, including libstdc++ pretty printers