Merge pull request #6 from carealejo/master

FD.distinct2
Added FD.dom propagator to FD.oz.
FD.dom is recieving a finite domain variable and a list of tuples and/or ints.
Remains to add support for creating list of finite domain variables (e.g. {FD.dom 3#10 [X Y Z]}).
Merge pull request #7 from dmontenegro/master

FD.dom