Merge pull request #505 from hacspec/cargo-install-locked

fix(cli/setup.sh): `cargo install`: use locked dependencies

setup.sh

@@ -47,7 +47,7 @@ install_rust_binaries() {
     for i in driver subcommands ../engine/names/extract; do
         (
             set -x
-            cargo install --force --path "cli/$i"
+            cargo install --locked --force --path "cli/$i"
         )
     done
 }