Merge pull request #4 from devhub-tud/killing-and-timeouts

Initial work for killable build jobs
Merge pull request #5 from devhub-tud/master

Fix startup for killable builds