RISC-V: add jstz-bench helper script

Previous !13360 (merged) | Next !13377 (merged)

What

Adds a helper script for running all the required parts of the benchmark. Additionally adds an explicit --inbox-file argument to ./inbox-bench generate

Why

Easier than doing it manually.

The arg allows putting the inbox.json elsewhere other than inline, which prevents it being picked up by tools like jj.

Manually testing the MR

./src/riscv/scripts/jstz-bench.sh 2