Add a travis yml

Hopefully we get a compatible version of gecode...