[tor-commits] [ooni-probe/master] Change the default ports used by Tor.