switch travis badge to better looking svg