Simplifying TravisCI config