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.