Speed up Travis start via 'sudo: false'.