-proxy command-line option (pr3287)

Defines a proxy server that pr3287 will use to connect to the host.

The syntax and semantics are identical to the proxy resource.