Fix & speed up Travis config.