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.

Commencez par le constructeur de Proxy et le chemin d’établissement de la connexion décrit dans l’issue. Suivez la manière dont l’hôte cible est sélectionné pour le proxy, puis définissez comment une liste d’exceptions doit être représentée et comparée. Le travail est terminé lorsque les hôtes listés se connectent directement tandis que les autres cibles continuent d’utiliser le proxy ; aucune test ni aucun fichier n’est nommé dans l’issue.

Rédigé par le modèle d'indexation à partir du texte de l'issue.