update travis badge

use SVG