First attempt to automatically manage proxies if any

Hi,

that's a first attempt to manage proxies. Proxies requiring authentication are not covered yet. I tried it for my specific use (local proxy as well as company proxy) and it seems to work fine.