Trap Ctrl-C (SIGINT) signal. Fixes #8