Added Gecode::nooverlap propagator fully supported.
Corrected FD.count propagator.
Added auxiliar function isTaskTypeArgs.
Merge pull request #4 from dmontenegro/css

Css with Gecode::nooverlap and isTaskTypeArgs
Merge branch 'css' of https://github.com/avisparesearch/mozart2css into css
Added Mozart Search Engines:
- Iter
- All
- Branch and Bound
- Restart