Fix Travis-CI badge url.