changed default option for quantifier instantiation
fix up build system for swig (d242c30 introduced a subtle error)
Merge branch '1.0.x'
Boolean terms rewriting for quantified variables of type Bool, when quantifier body uses them in term context