More application-track fixes for use with trace executor.
fix typo
Clean up glpk detection a little, fix a detection bug.
Fix rewriter typo.
For casc : print models of functions rewritten by sort inference.
Test portfolio with --no-wait-to-join.
This commit adds a priority queue implementation.  This is to avoid compilation troubles with libc++.
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.
Fix for new CASC features, fixes Java builds.
Final preparations for arithmetic for building with libc++.
Another fix for the CASC stuff.
Documentation clean-ups.
Code cleanup.
Merge pull request #33 from mdeters/arith-proposal

Final preparations for arithmetic for building with libc++.
New translator features: expand define-funs and combine assertions.
No more dependence on libstdc++ or PBDS stuff: remove build stuff that supported it.
More minor code cleanup.
Fix for pre-C++11 is_sorted().
disable unate lemmas when using incremental mode
Minor Doxygen fixes.