Have benchmarked output go to a file

This is more realistic and allows to benchmark copy_file_range(2)
performance.

Author: dspinellis

util/benchmark.sh

@@ -22,15 +22,15 @@ SCRIPTS=tests/fixtures/sed/script
 # Run hyperfine with the specified name and command and collect the results.
 bench_run()
 {
-  if hyperfine --command-name "$1" --warmup 2 --export-csv out.csv "$2" ; then
+  if hyperfine --command-name "$1" --warmup 2 --export-csv out.csv --output ./out.txt "$2" ; then
     # Output the results sans-heading.
     sed 1d out.csv >>"$OUT"
   else
     # Unable to run; output a named empty record.
     echo "$1,,,,,,," >>"$OUT"
   fi
 
-  rm out.csv
+  rm out.csv out.txt
 }
 
 # Shared heading