The class GecodeSpace divided into gecode-space-decl.hh and gecode-space.hh
Added garbage collection for GecodeSpaces.
- It collects memory for GecodeSpaces that are either SOLVED or FAILED
- If a mozart spaces is failed the propagates the fail to the associated GecodeSpace (if any)
- Still to check more invariants. In particular, when the script is done (no more computation), if should erase all GecodeSpace no matter what?
Added built-in for Gecode::dom.
Added auxiliar function getIntSet for parsing values to Gecode::IntSet. For now, supporting lists of integers and tuples (e.g. [1#5 8 9 20#24])