Added FD.inf and FD.sup to finite domain module (FD.oz)
Merge pull request #1 from dmontenegro/master

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.