gdinit: remove now that newer versions of gdb support printing stl containers