Remove PropositionalQuery class and all CUDD-related build stuff (and references)
Fixes for miplib-trick application (and a new testcase)
Minor cleanup of sources
Fix to bug 497: make justification heuristic's ITE cache context-dependent.
Better error in case of nonlinear assertions while in linear logic
Some statistics for narrowing down incrementality issues (push/pop vs solve timing)