Ctrl-C does not stop monet

[mattiat]

Launch clean up action in case monet is interrupted by keyboard

[mattiat]

I was going to try a simple trapping:
https://rimuhosting.com/knowledgebase/linux/misc/trapping-ctrl-c-in-bash

Unfortunately this does not work for docker: once the docker run command is invoked by MONET, control passes to docker, which cannot be killed by Ctrl-C:
https://stackoverflow.com/questions/54946227/how-to-exit-and-kill-the-running-docker-container-with-ctrlc

[mattiat]

instead of trapping Ctrl-C, I added an option to kill containers the "docker way" (i.e. using docker stop).
54a4930

[mattiat]

Trickier for singularity, I can't find any "stop" command.
https://stackoverflow.com/questions/59791791/stopping-a-singularity-container

[mattiat]

Resorted to keeping track of monet's pid and killing that.
9ee778e

Ready for testing.

[mattiat]

Joan and Sergio are going to test this.