Added builtin to find all solutions with Gecode's DFS search engine.
- allDFS: Builtin to find all solutions
- oneDFS: Builtin to find one solution