Stop running docker containers before deletion.

If the `docked` execution is interrupted, first stop the running container, and only afterwards delete it.