docker.md

Docker packaging

docker build -t heifer-icfp24 -f Dockerfile . --progress=plain
docker run -it heifer-icfp24 bash