[tor-commits] [tor/master] Choose directory servers by IPv4/IPv6 preferences