Added option $config['proxy'] for http requests (OBSERVIUM-338).


git-svn-id: http://observium.org/svn/observer/trunk@4118 61d68cd4-352d-0410-923a-c4978735b2b8
$config['proxy'] -> $config['http_proxy']


git-svn-id: http://observium.org/svn/observer/trunk@4119 61d68cd4-352d-0410-923a-c4978735b2b8