Merge pull request #514 from hacspec/rebuild-script-cargo-install-locked

fix(rebuild.sh): make `cargo install` use locks (see #505)

.utils/rebuild.sh

@@ -33,7 +33,7 @@ rust () {
     cd_rootwise "cli"
     for i in driver subcommands ../engine/names/extract; do
         CURRENT="rust/$i"
-        cargo install --quiet $OFFLINE_FLAG --debug --path $i
+        cargo install --locked --quiet $OFFLINE_FLAG --debug --path $i
     done
 }