use new travis svg badge