Use SIGINT rather than SIGQUIT to kill the server

That way, it'll be able to remove its .tern-port file before exiting.

Issue #5