Changes to support constraint boolean variables.
- Added one, zero and none operations to the boolean variables interface.
- Added the module BoolVar to the virtual machine.
- Changed some methods in GecodeSpace to support the new boolvar implementation.