changed travis badge from png to svg