Add suppor for https_proxy, fixes #3204