Added Gecode::count, Gecode::cumulative and Gecode::sequence propagator.
With auxiliary functions getIntSet and isIntSet.
Fixed modintvarprop.hh