The inria Jenkins triggers Travis to build the Seaside 3.1 project via this repo