minor: use the new Travis svg badges