python library for instrumenting gdb; prototype, very alpha