Merge pull request #2 from JLiangWaterloo/master

Update to the latest chocosolver.
Update README.md
Merge pull request #3 from gsdlab/master

Synchronized Master and Develop
Updated art.id, added gitignore
Merge pull request #5 from gsdlab/develop

Changed artefact ids.