Switched Travis CI badge to SVG

This looks a lot better on higher resolution displays.

[ci skip]