move setPassive in PropReif to speed up some treatments, simplify propagation engines
Merge branch 'develop' of github.com:chocoteam/choco3 into feature-mzn
Merge branch 'feature-mzn' into develop