misc/proxy-setup.bash: changing proxy variable names on read

Also exporting http_proxy and https_proxy environment variables after
reading their values.