Use shields.io for travis badge.

This helps make the badges look consistent by using a single source for them.