Added tasktype atoms and auxiliar functions to use it.
Auxiliar functioncs for builtins.
Added builtins for Gecode finite domain propagators.
Added bultins in FD.oz
modintvarprop.hh cleaned.
Added Gecode::count, Gecode::cumulative and Gecode::sequence propagator.
With auxiliary functions getIntSet and isIntSet.
Fixed modintvarprop.hh
Added Gecode::circuit propagator fully supported in modintvarprop.hh
and FD.oz.
Added Gecode::path propagator fully supported.
Merge pull request #3 from dmontenegro/css

Css
Merge branch 'css' of https://github.com/avisparesearch/mozart2css into css