Wrapper around the gdb python API