Use SVG for the Travis CI badge