Add a new propagator for Implication (B, C1, C2)
Merge branch 'feature-implies' into develop
Merge branch 'develop' into feature-BAIntVar