Added Gecode::distinct propagator to FD module