Factored Gecode::dom propagator with full support.
Imposes propagator according to the input parameters, using auxiliary functions (isIntVarArgs, isIntSet).
Merge pull request #19 from carealejo/master

Factored Gecode::dom propagator with full support.