[tor-commits] [vidalia/alpha] Merge branch 'bug4724_httpproxy' into alpha