Merge pull request #3 from carealejo/master

FD.linear
Added inject builtin to Space module
Distribution strategies from Gecode for Finite Domain is now available
in Mozart.
Merge pull request #4 from miavisa/master

Space.inject
Merge pull request #5 from juancate/master

Gecode branchers for Finite Domains
Added FD.distinct2 to FD.oz