Update macrobenchmark scripts

macro-stats/linear-dafny-early.sh

@@ -22,5 +22,5 @@ fi
 
 print_header "cloning or updating repositories"
 
-clone_and_update_repository "ironsync" "osdi2023-artifact" "git@github.com:secure-foundations/ironsync-osdi2023.git"
+clone_and_update_repository "ironsync" "osdi2023-artifact" "https://github.com/secure-foundations/ironsync-osdi2023.git"
 

macro-stats/summarize/encoding_bytes.sh

@@ -1,11 +1,7 @@
 set -e
 
 tmpdir_path=$1
-dir_name=$2
 
-cd $tmpdir_path/$dir_name
+cd $tmpdir_path
 
-for project in ironsht nr verified-storage mimalloc page-table; do
-    byte_count=`wc -c $project/verus-encoding/* | grep ' total$' | sed 's/ total$//g'`
-    echo $project $byte_count
-done
+wc -c .verus-log/* | grep ' total$' | sed 's/ total$//g'