added socket reuse option to listening proxy server socket, and added signal handler to handle ctrl-c signal