g5k: support deploying specific versions of environments
G5K official environments are versioned:
- https://gitlab.inria.fr/grid5000/environments-recipes/-/tags
-
kaenv3 -l -s
from a frontend
The Kadeploy API has an optional "version" parameter to select it: https://api.grid5000.fr/doc/stable/#tag/deployment/paths/1stable1sites~1{siteId}~1deployments/post
It would be useful to support this for reproducible experiments. We can add a new env_version
parameter, and then add it to the call to the Kadeploy API if present: no change should be required in python-grid5000.