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.
Merge tag 'smtcomp2014-resubmission'

Conflicts:
	src/main/portfolio.cpp