Added Inf and Sup builtins in IntVar module.

We use Gecode::Int::Limits::max and Gecode::Int::Limits::min.