As shell.nix is regularly modified, this new shell is dedicated to
the continuous integration runner and should not be modified often.