Show NOPM in stdout at the end of the benchmark run

To find the NOPM after a run you would have to either scroll up to see
it in the output or you'd have to manually look at the contents of the
`hammerdb_nopm_xxx.log` file. This changes our script so that the NOPM
is shown as the final line of output of the benchmark run.

run.sh

@@ -34,7 +34,7 @@ if [ "$IS_TPCC" = true ] ; then
     ./download-hammerdb.sh "$HAMMERDB_VERSION"
     (cd "HammerDB-$HAMMERDB_VERSION" && time ./hammerdbcli auto ../run.tcl | tee "../results/hammerdb_run_${BENCHNAME}.log")
     # filter and save the NOPM (new orders per minute) to a new file
-    grep -oP '[0-9]+(?= NOPM)' "./results/hammerdb_run_${BENCHNAME}.log" >> "./results/hammerdb_nopm_${BENCHNAME}.log"
+    grep -oP '[0-9]+(?= NOPM)' "./results/hammerdb_run_${BENCHNAME}.log" | tee -a "./results/hammerdb_nopm_${BENCHNAME}.log"
 elif [ "$IS_CH" = true ] ; then
     sleep "$DEFAULT_CH_RUNTIME_IN_SECS"
 fi