Factored Gecode::dom propagator with full support.

Imposes propagator according to the input parameters, using auxiliary functions (isIntVarArgs, isIntSet).