Build #1001

Parameters
 BRANCH
Branch of docker-playground.git. Only modify if you are hacking on the docker-playground scripts.