Add Travis CI badge using shields.io