fixing travis badge post repo rename