Use SVG for the Travis badge