Use Travis svg badge instead of png