GDB init file for printing C++ STL nicely