Dockerfile: make it so that we can just docker run <tang-image>