run builds and tests in Docker containers

Mathieu Belinrequested to merge
docker-build into master

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.

Merge request reports