update travis badge instructions