make sure script exits when proxy is inaccessible
Merge pull request #381 from kamidzi/proxy_fixes

make sure `proxy_setup.sh` exits when proxy is inaccessible