fix a bug in mbed.py
Fix the interface mismatching of gdb_server.py
Merge remote-tracking branch 'remotes/github/pyocd-improvements' into pyocd-improvements