batsim_ci docker image has outdated SSL certificates
Old certificates causes some CI operations to fail (e.g., downloading anything from framagit) and is therefore very annoying.
I tried to update the old batsim_ci
Dockerfile but it led to compiling way too many things (glibc, gcc...).
Generating this container via Nix would probably be better.