Added Gecode::nooverlap propagator fully supported.