update python gdb for C++ STL pretty-print