Changed FD.oz to reflect the new finite domain modules
Added Gecode::distinct propagator to FD module
Added FD.inf and FD.sup to finite domain module (FD.oz)
Added FD.distribute to FD.oz.
Currently supporting size_min and size_max for variable selection and val_min and val_max for value selection.
Merge branch 'master' of git://github.com/anfelbar/mozart2-library