Modified builtin dfs in module Search.
This builtin imposes Gecode::DFS to Space.
If the Space have solution then updates its GecodeSpace whit the solution find it.
This builtin is still in development.
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.
Merge pull request #10 from miavisa/css

Modified builtin dfs in module Search.
Changed methods for search builtin.
- No need for a loop in the search one builtin.
- Fixed memory leak when updating constraint spaces.
Added auxiliar function getIntSetArgs with support for List.
Added Gecode::count propagator to fd module.