Preparing for build-server deployment.
Merge pull request #7 from devhub-tud/build-deployment

Preparing for build-server deployment.