add a python script which can be used by GDB to print the contents of stl containers