Use shields.io for travis badge.