fixed Travis CI badge URL