PyOCD
Shutdown openocd when stopping debug session
monitor [target current] configure -event gdb-detach {shutdown}