programmer/gdbserver: close connection on detach