Migrate from Travis to Inria CI

[costashatz]

Lot of people state that Appveyor is better than travis and now they have linux support.. Maybe at some point we want to change to Appveyor..

[jbmouret]

We should switch to Inria CI instead (more long term, I would say).