Speed up Travis CI builds