Added Gecode::distinct to lib/man/cp/FD.oz