Small modification to travis config

This should prevent build times from hitting the 50-minute
limit (or even coming close.)