Warn user if we try to use DNS with a SOCKS5 proxy

Ask if we really want to do a DNS request, without the proxy

Fixes #627