docker image deployment

[aremazeilles]

In the next stage of the eurobench integration, (described here), we are progressively doing the following:

• making a fork of the repository in eurobench namespace
• from there deploy the generated docker image onto a eurobench docker hub

Which is from here the system will get the images that will be used for making the metric computation.

Your repository is currently private. I was wondering if it would be acceptable to turn it to public, or whether you have concerns on this.

[dzhvansky]

Done! I suggest solving the problem with pi output types before the fork.

[aremazeilles]

Great, so now I see it as public. I will start preparing the fork. We can still later makes some updates of the code, don 't worry