python implementation of the GDB Remote Serial Protocol