Kill spawned processes on Ctrl-C

Fixes issue #55.