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?