Version of the run script that works with trace executor; waiting on StarExec infrastructure for testing.