Implement gdb.execute_mi