Tweak the Travis configuration to build faster.