This Dockerfile installs DisCoTec's dependencies, compiles DisCoTec and its tests, and automatically runs the tests with MPI.
To install docker, consider this guide.
With docker set up, you can run
docker build containerization-exercise/
to build the container containing DisCoTec.
To instantiate an image, TODO
and to run the tests, you have to TODO