fix travis badge instructions