update travis badge according to new name