Update docker environment

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.

changed title from Update docker environmnent to Update docker environment

mentioned in commit c287d4e3

merged