Fix header check for glpk.h.
Fixing a soundness bug in arithmetic and a roubustness problem in rings.
Alternative lazier heuristic for assertion rewriting.
stack-size portfolio fix.  boost 1.50 now required
Fixing the previous bugfix.
Add missing function definition.
Minor language bindings fixes.
Remove leftover debugging output.
Ignore error result when an error is squelched via command verbosity.
Potential fix for bug 573.
Merge tag 'smtcomp2014-resubmission'

Conflicts:
	src/main/portfolio.cpp
Fix for 32-bit (esp. win32 failing build).
Merge pull request #46 from mdeters/bug573

Potential fix for bug 573.