Admin/jenkins/run_build
2016-06-11 Lars Hupel 2016-06-11 start moving actual Jenkins build scripts into the repository