updated testing script to include multi-threaded runs
changed how java options are passed into sbt
Merge pull request #1 from stanford-ppl/testsuite

updated testing script to include multi-threaded runs