Added Inf and Sup builtins in IntVar module.
We use Gecode::Int::Limits::max and Gecode::Int::Limits::min.