Speed up Travis-CI