done most of updateproxy.py revisions: now gets https proxies from multiple sources