The --use-tor option

[malte at wk3.org]

Quoting Daniel Kahn Gillmor (2015-10-20 16:57:53)
> On Mon 2015-10-19 10:54:49 -0400, Malte wrote:
> > On Monday 19 October 2015 15:03 Werner Koch wrote:
> >
> >> This is not complete because DNS lookups are leaking.  This could be
> >> fixed […]
> >
> > Maybe Kristian Fiskerstrand would be willing to set up an Onion Service for 
> > the SKS-Pool that could be used by default?
> 
> I don't think this makes much sense -- there are already keyservers that
> offer hidden services (e.g. qdigse2yzvuglcix.onion), but they are
> individual keyservers.

Ok. Then let's use that one. My main concern was the DNS resolution
problem.