use HTMLParser instead of SGMLParser; add http_proxy support