Torify: usare il circuito Tor anche per comandi da terminale