(server_die): Kill resources associated with the connection.
(do_close): New callback function till kill the process if the
channel is closed unexpectedly.

server.c (do_exit_shell): Don't close the process's stdin, or the
channel, until the client asks for it.

* server.c (make_server_close_handler): Take connection as
argument.

Rev: src/server.c:1.32