Merge pull request #20 from carealejo/master

Gecode::rel and Gecode::distinct with full support.
Arithmetic propagators full supported.