Use Shields.io Travis badge.