Update from PNG travis badge to SVG.