Limit clone depth, add new per-crate option

Author: tautschnig

scripts/run-kani.sh

@@ -334,9 +334,9 @@ main() {
         ./std-analysis.sh $build_dir
         popd
         echo "Running autoharness-analyzer command..."
-        git clone https://github.com/carolynzech/autoharness_analyzer
+        git clone --depth 1 https://github.com/carolynzech/autoharness_analyzer
         cd autoharness_analyzer
-        cargo run \
+        cargo run --per-crate \
           ../target/kani_verify_std/target/x86_64-unknown-linux-gnu/debug/deps/ \
           /tmp/std_lib_analysis/results/
     fi