- Constraints refactoring (solver)

Less constraint objects
Propagators given once and for all in super constructor
update modules
compilation change
Merge branch 'feature-cons' into develop