get-glpk-cut-log script, and configure code.
Minor fixes to get-abc script and configure stuff.
Some fixes for tear-down-incremental and "success" output.
More application-track fixes for use with trace executor.
fix typo
Clean up glpk detection a little, fix a detection bug.
Fix rewriter typo.
Test portfolio with --no-wait-to-join.
Fix for pre-C++11 is_sorted().
Some reversions of recent commits re: portfolio failure.

* Partial reversion of b8e28a7, do it a different way.

* Revert "Test portfolio with --no-wait-to-join."
  This reverts commit 8b56004ee8bf6c34aaf045bec12bf0e4401a044c.
disable unate lemmas when using incremental mode
Minor Doxygen fixes.
Java bindings fixes.
Fix GLPK builds: correct access specifier on cut classes.
Better error for invalid concrete syntax of sorts with too many parens, like (Int).  Thanks to Dan Liew for the report.
Fix for mac readline.
Options script fix.
basic fixes for sets translator, separate binaries
forgot to add the test with fix

according to bug report, fix was in 6267f3
Merge remote-tracking branch 'upstream/master' into sets