Use new docker-based travis!
Merge pull request #412 from edpaget/use-better-travis

Use new docker-based travis!