Merge pull request #19 from carealejo/master

Factored Gecode::dom propagator with full support.