Added info builtin to space module.
The builin is used to show the information of the constraint space.
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.
Merge branch 'css' into space
Once a gecodespace is cloned, manually update all variables.
When cloning mozart spaces execute clone method from gecodespace.
There is no need to copy the variables manually, the copy constructor does the job.
Merge branch 'space' of git://github.com/anfelbar/mozart2-vm into space

Conflicts:
	vm/main/reifiedspace.hh