SQUASHME: kill openocd by PID