Use an svg badge for TravisCI.