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.
Bit-vector kinds documentation
Fix compiler warnings in BV-related code (unused vars mostly).
Run in application track with --check-models.
Another updated submission strategy.
Another updated submission strategy.
Merge pull request #35 from mdeters/bv-kinds

Bit-vector kinds documentation
Merge pull request #39 from mdeters/bv-warnings

Fix compiler warnings in BV-related code (unused vars mostly).
Final fixes for smtcomp2014-application.
QuitCommand needs "success" output for trace executor. :-(
Merge tag 'smtcomp2014-application'

Conflicts:
	contrib/run-script-smtcomp2014-application
	src/main/driver_unified.cpp