Fix Travis-CI badge address.
[skip ci]