misc/proxy-setup: also exporting no_proxy

were exporting only NO_PROXY, which is not the default (although
some applications make use of it).