Improved stop and remove procedure as well as cancelling jobs.
Merged master into docker-improvements branch.
Merge pull request #6 from devhub-tud/docker-improvements

Improved stop and remove procedure as well as cancelling jobs.