Support proxy exception list

I'm glad to see the new auto-proxy support, much more convenient!

A closely related feature is that more complicated proxy configurations have exception lists, e.g. no_proxy=localhost, listing servers (usually on the local LAN) that should not go via the proxy. Windows allows this, and it seems from a quick search that on unix the no_proxy env var can be used. At least, wget and w3m use it.

I know of a user who actually needs a setup like this, everything goes through a proxy, but they have some servers on localhost which the proxy of course is not aware of.

So I think what'd we'd need is to extend the Proxy constructor with such a list, and then check when we're about to make a connection if the target host is on the list and if so to make a direct connection rather than using the proxy.

Beginne beim Proxy-Konstruktor und dem im Issue beschriebenen Pfad zum Herstellen der Verbindung. Verfolge, wie der Zielhost für das Proxying ausgewählt wird, und lege dann fest, wie eine Ausnahmeliste dargestellt und abgeglichen werden soll. Als erledigt gilt, wenn die aufgeführten Hosts direkt verbunden werden, während andere Ziele weiterhin den Proxy verwenden; im Issue werden keine Tests oder Dateien genannt.

Vom Indexierungsmodell aus dem Issue-Text verfasst.