Too many Travis CI runs

[bjschoenfeld]

With each push to PR, we get 4 Travis CI runs. We don't need more than 1.