Added signaling for ctrl-c exiting

Fixes #20