Use new Travis CI badge.

(This was a long time coming.)