travis: fiddle with settings to reduce build time