Modified search builtin
Added parameter Out, now this builtin return a Space with the solution.
Merge branch 'css' of https://github.com/anfelbar/mozart2-vm into css
Merge pull request #17 from carealejo/master

isIntArgs
Merge pull request #18 from miavisa/search

Search
Merge branch 'search' into css
Factored Gecode::dom propagator with full support.
Imposes propagator according to the input parameters, using auxiliary functions (isIntVarArgs, isIntSet).