Kill workers on exit

[saethlin]

When I ctrl+c a run, I have to manually kill the worker Docker containers. We should be able to do that automatically.