Switch instructions in Bool{Le,Lt}Reif
Remove b2i detection + fix #212 + fix Solver.unassociates()
Merge branch 'develop' of github.com:chocoteam/choco3 into feature-mzn
Merge branch 'feature-mzn' into develop