Fix Travis configuration to reduce job timeouts.