Fix travis configuration to speed up automatic tests.