[tor-commits] [ooni-probe/develop] Fix travis file