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.
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.
Version of the run script that works with trace executor; waiting on StarExec infrastructure for testing.
UF kinds documentation
Quantifiers kinds documentation
Datatypes kinds documentation
Bit-vector kinds documentation
Some minor cleanup and documentation.
Minor fixes for man pages.
Slightly-improved kinds documentation for builtin, Boolean, arrays, strings, and arith.
Add some missing functions in configuration and compat library.
Adjust library dependencies to be more correct (fixes lintian warnings).
Lower the Java JRE version requirement.