Script used for demos and live coding
# This is pretty trimmed down, but is the basic idea, at least docker ps -a -q -f status=exited | xargs -r docker rm git reset --hard git checkout stage-$1