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.

Title changed from Docker build to run builds and tests in Docker containers

Reassigned to @clemenci

Status changed to merged

mentioned in commit c0f075fe