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.