GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
Use new docker images based on Ubuntu 24.04 : base for testing analysis for static and dynamic analysis.
Use the gitlab's instance runners dedicated to docker jobs instead of our old custom virtual machines from ci.inria.fr which will be destroyed in a near future.
The shared runners do not accept docker images larger than 10 GB (which is reasonnable). As a result we must stop using the big docker image with the union of all solverstack's dependencies, and prefer using a basic image plus some precise dependencies project by project.
Clean some CI scripts.