some python extensions for gdb