More work on new GdbMi parser