add libgecode to travis