Documentation and run.sh update

run.sh no longer depends on custom aliases.
Documentation now addresses new timing feature and how to use run.sh.