Use SVG badge for Travis-CI