Python scripts for communicating with openocd's TCL RPC.