Dockerfile for Tock This file creates a docker image with the Tock development environment installed. docker build -t tock .