Added Inf and Sup builtins in IntVar module.
We use Gecode::Int::Limits::max and Gecode::Int::Limits::min.
Merge pull request #3 from dmontenegro/css

Added Inf and Sup builtins in IntVar module.
Added Gecode::branch only works with IntVars. Still to come support for SetVars and BoolVars
Modified IntVar branch builtin.
Now it accepts variable and value strategies.
Created funcions atomToIntVarBranch and atomToIntValBranch to get branch atoms.
TODO: Optimize atomToIntVarBranch, atomToIntValBranch, atomToIntContlevel and atomToRelType.
Merge branch 'css' of github.com:carealejo/mozart2-vm into css

Conflicts:
	vm/main/modules/modpropagators.hh