Docker

Use this from the docker subdir to build the image manually.

docker build -f Dockerfile -t ivao --progress=plain ..