Added constraint boolean domains module in file cp/BD.oz
For now it supports the following operations:
- BD.is (test whether is a boolvar)
- BD.decl (declares a new boolvar)
- BD.value (the value when the boolvar is assigned)
- BD.one (test whether the boolvar is 1)
- BD.zero (test whether the boolvar is 0)
- BD.none (test whether the boolvar is neither 1 nor 0)
Added Search.dfs in Search.oz
Added {Search.one Script} in Search.oz
This function create a Space and call {Space.dfs Space}
Merge pull request #9 from miavisa/master

Added {Search.one script} in Search.oz
Remove variable to avoid compilation warning in Search.oz
FD.dom is working as in the old mozart.
Added FD.domain propagator used to narrow variable domains.