Use shields.io badge for Travis CI build status