Merge pull request #11 from carealejo/master

getIntSetArgs and Gecode::count
Added Gecode::elements builtin.
Added getIntSharedArray auxiliary function.
Merge pull request #12 from dmontenegro/master

Added Gecode::elements builtin
Added Gecode::min propagator to fd module.