Fix for development shell

[Smorci]

The pure development shell broke when the rust toolchain was updated.

[Smorci]

A workaround was implemented, the nix develop mina works after the nix/pin.sh script is executed. This something that has to be fixed from nixpkgs.

I will raise an issue in the near future and link it here with technical details.

[Smorci]

The problem arose from these changes where the SYSROOT is determined based on the librustc_driver-*.so file.

There was a "FIX " for this in the nixpkgs-mozilla repository, however this isn't enough for our case.

We would have to copy the librustc_driver.so around because we are sharing components between mutliple sysroots. Here is a more detailed explanation on the matter.

This workaround works, as mentioned in the previously linked content, because we do not pass --sysroot twice.

[simisimis]

thanks for explanation. This was not evident without it

[Smorci]

Merging is blocked because of permission issues. Nix CI is needed to merge

[Smorci]

Here is the nixpkgs issue

[mrmr1993]

It seems like this PR may have some unrelated changes. Please revert.

[Smorci]

!ci-build-me