Added Gecode::rel propagator to the finite domain base module.

Added Gecode::distinct propagator to the finite domain base module.
Created getIntVarArgs function: only works with tuples (i.e. X#Y#Z). Still to come support for lists and records (i.e. [X Y], sol(x:Y y:Y)).