delete kani-list.json instead of ignoring it

.gitignore

@@ -45,7 +45,6 @@ package-lock.json
 # Tools
 ## Kani
 *.out
-kani-list.*
 
 # Added by cargo
 #

scripts/run-kani.sh

@@ -297,18 +297,19 @@ main() {
         echo "Running Kani list command..."
         "$kani_path" list -Z list $unstable_args ./library --std --format markdown
     elif [[ "$run_command" == "metrics" ]]; then
-        echo "Computing Kani-specific metrics..."
+        local current_dir=$(pwd)
         echo "Running Kani list command..."
         "$kani_path" list -Z list $unstable_args ./library --std --format json
-        mv $(pwd)/kani-list.json scripts/kani-std-analysis/kani-list.json
         echo "Running Kani's std-analysis command..."
         pushd $build_dir
         ./scripts/std-analysis.sh
         popd
         pushd scripts/kani-std-analysis
         pip install -r requirements.txt
-        ./kani_std_analysis.py
+        echo "Computing Kani-specific metrics..."
+        ./kani_std_analysis.py --kani-list-file $current_dir/kani-list.json
         popd
+        rm kani-list.json
     fi
 }