Add benchmark awareness to pipeline.

verify_rvb.awk

@@ -0,0 +1,15 @@
+BEGIN {
+    bench_success_flag = 0
+}
+
+/^BENCHMARK-SUCESS-STATE/ { bench_success_flag = 1; system("pkill -f -SIGTERM qemu-system-riscv64")}
+    {print $0}
+
+END {
+    printf "Benchmark execution has finished.\n";
+
+    if (bench_success_flag)
+        exit 0;
+    else
+        exit 1;
+}