Kill child process using SIGINT instead of SIGTERM

Pressing Ctrl-C sends a SIGINT to the process. This is caught by the
KeyboardInterrupt exception.