adjusting travis badge