Fix parallel run script.
Fix for competition mode + parallel.
Flush output stream after result printed in portfolio.
more smtcomp-submission script work
added optionException for trying to use abc in an non-abc build
more fix-ups
New application track script, new heuristics and all --tear-down-incremental.  Not yet tested.
Merge branch 'master' of https://github.com/CVC4/CVC4