minor: use new travis svg badges