[nix] don't mix unstable and stable nix packages when not necessary

It turns out that llvm-11 is now included in nixos-20.03, our main source
in Frama-CI as of now.