tor: specify port type

Currently it's not straightforward if the ports that the Tor app uses are of type tcp, udp or both.