Tor, il software per la navigazione anonima