[travis] Update travis

10 jobs for devel in 7 minutes and 44 seconds (queued for 2 seconds)