Added installation of libgecode-dev to fix build error
Merge pull request #140 from jossy/master

Added installation of libgecode-dev to fix build error