Updated remote_gdb_debugging.py example