Fix Travis-CI badge URL.