Fix Travis CI build status badge