Added 'proxy' configuration option for http_client

Added the possibility to specify a proxy for the HttpClient.
The "proxy" setting is not a numeric node, it's just a string. In my case, for instance, it is "http://192.168.13.20:8080".