[tor-commits] [vidalia/master] Merge branch 'bug4724_httpproxy_backport'