Remove stray print in a Subtract test case
IntVar: allow shrink() with another IntVar

The shrunk variable basically becomes the intersection of its old
domain and the supplied IntVar.
Add IfThenElse, IfThen and IfNotThen constraints

Useful for conditionally imposing constraints.