Adding a Dockerfile build for the Docker tool -see www.docker.io for details.