server: rely on ctrl-c to stop openocd