[Feature] Compile tamarin + Docker Image

[lmandrelli]

Is your feature request related to a problem? Please describe.
We want to automate completely the way for reviewer to run an experiment.

Describe the solution you'd like
To do so, it would be great to be able to run an automated config that builds tamarin and then run batch-tamarin

Implementation idea
It would be usefull to have a docker environment that has all dependencies to build tamarin
Then the wrapper should be able to compile automatically the binary
For example : add a new compile_path parameter to tamarin_versions json config so that it can compile the projet with the given path
Maybe the use of nix to create the compiling environment can be a time saver, as the config to install all dependencies manually with a linux distribution is a bit complicated (based on my little experiment)

Even more powerfull : let the wrapper use docker compose and create an image on demand ???