Minor changes to run-all.sh help

Preparing to update the main branch, I clean up the help of run-all.sh to
make it a little easier to use.