Merge pull request #229 from jcarpent/devel

Remove Travis for CI
10 jobs for devel in 37 minutes and 30 seconds (queued for 2 seconds)