Bind proper DockerManager implementation on boot.
Merge pull request #5 from devhub-tud/master

Fix startup for killable builds
Merged master into killing-and-timeouts branch
Merged master into killing-and-timeouts branch
Merge pull request #7 from devhub-tud/killing-and-timeouts

Cleanup