Kill worker processes if SIGINT is caught

Fixes issue #34