Handle ctrl-c explicitly in coordinators and workers.