Travis CI: install libgecode dependency