Changes to allow commit in a gecodespace.
- Changed copy constructor method of space: clone the gecodespace instead of new copy.
- The number of alternatives in a space is created by Gecode::Choice.
- Propagation in gecodespace is executed *every thime* the builtin askSpace is executed.