publicize and document docker images
Put a link to the docker images
https://gitlab.inria.fr/why3/why3/container_registry
in the Why3 web page.
Document the use of a docker image in the manual
doc/install.tex
explain in particular how to use Why3 ide (issue related to X server)