Missing https proxy configuration option

[autra]

Description

When executing stackbuilder, we have the possibility to specify a proxy for http and ftp connexions. However, no https proxy is configurable. Thus, in some environment, stackbuilder is not able to query https://www.postgresql.org/applications-v2.xml. Even though there is a workaround, it'd be nice to have the possibility to specify it directly (and to have it saved alongside other proxy informations).

Workaround

• open a CMD windows
• Declare these variables:

set HTTPS_PROXY=<proxy>
set https_proxy=<proxy>

• execute stackbuilder from this cmd window

Thanks!