Disable host key checking for git cloning
Merge branch 'master' of github.com:devhub-tud/build-server