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.