minor: use travis svg shields