Merge pull request #8 from carealejo/master

Distinct2
The class GecodeSpace divided into gecode-space-decl.hh and gecode-space.hh