run script fix
Run script updates: no --stats, also application-track version.
Change SMT COMP script to use external timeouts.
Update submission make rules.
Bug fix for string-opt2 (copied from Tianyi's branch).
More make rules
One final bit (I hope) of make magic
More make rules