run builds and tests in Docker containers
When the Jenkins scripts are run on a Docker enabled slave (i.e. with a docker
label), a container for the requested platform is started to run the build.
When the Jenkins scripts are run on a Docker enabled slave (i.e. with a docker
label), a container for the requested platform is started to run the build.