use travis svg badge