DNS cache is not cleared while switching to SOCKS proxy

See https://bugzilla.mozilla.org/show_bug.cgi?id=802065

Probably minor for Tor but maybe still interesting to know.