Added installation of libgecode-dev to fix build error

Build is (amongst other things) failing because Gecode is not installed. Updated travis file to install Debian package "libgecode-dev".