Merge tag 'choco-3.2.1' into develop
Prepare the code for the next version
update scripts for release
update pom.xml
Merge branch 'feature-script' into develop
[Fix #225] fix PropCostRegular wrt to S. Demassey instructions.
Merge branch 'iss_225' into develop
Update README.md
Prepare the code for the next version
update scripts for release
update pom.xml
[Fix #225] fix PropCostRegular wrt to S. Demassey instructions.
[fix #231] fix addTrue
Fix issue #227
Issue #229: native support of multi-thread resolution, add external configuration through binders

 - add MasterSolver and SlaveSolver to deal with multi-thread resolution (/!\ this is not work stealing -- read the manual)
 - add search strategy binder
 - add tests
 - update documentation
Fix Propagator.toString()
Merge branch 'iss_229' into develop

Conflicts:
	CHANGES.md
	README.md
[Fix#230] Update set_version.sh
[Fix#230] Update set_version.sh
Merge remote-tracking branch 'origin/develop' into develop