Hello, this patch add 'https_proxy' to 'guix download' (and guix-daemon
if we update guix?):