Added Gecode::circuit propagator fully supported in modintvarprop.hh
and FD.oz.