FEAT add a way to kill a running submission

[tomMoral]

Sometime, we need to manually kill some submissions running on the server (either directly or with AWS).

As the dispatcher is robust to submissions that receive a SIGTERM signal, one way to do this is to kill the process?
This could be done in AWS by running ssh ... kill PID, where the PID is computed using top and grep with the submission name.