A module to interact with GDB debugger