Use SVG for Travis CI badge