fix: download Rust nightly hermetically for coq_of_rust build#25

avrabe merged 2 commits intomainpulseengine/rules_rocq_rust:mainfrom

fix/hermetic-rust-sysrootpulseengine/rules_rocq_rust:fix/hermetic-rust-sysrootCopy head branch name to clipboard