Merge pull request #13 from carealejo/master

Gecode::min propagator.
Added support for severals Gecode::dom in fd module.
Merge pull request #14 from Smiller09/css

Added support for severals Gecode::dom in fd module.