Connect stdin/stdout to a remote host through a standard HTTPS proxy
