Linear fully supported using auxiliar functions.
Merge pull request #22 from dmontenegro/master

modintvarprop.h  with Gecode::linear fully supported.