modified Travis CI badge