support http/https proxies without socks5

It would be really nice if minecraft could once again be played using an http/https proxy and not require a socks5 proxy. http/https proxies are common. socks5 proxies are not so common. Certainly the former is much more common than the latter.