Use different Tor ports than Briar

1 job for !26 with 34-different-tor-ports in 3 minutes and 46 seconds (queued for 1 minute and 8 seconds)
latest merge request