Minor upgrades to Travis to improve build times, etc.