Add support for specifying an HTTP proxy to setup script.

A prompt is used to ask if a proxy is required, unless the normal
http_proxy env. variable is set, at which point the proxy URL will be
queried for directly (and the value of http_proxy used as the default).

This should implement wish 305410.

BUG:305410
FIXED-IN:1.16