Add --(no-)?-proxy option to all scripts to allow bypassing the environment http proxy
Merge pull request #1 from raphink/dev/noenvproxy

Add --(no-)?-proxy option to all scripts to allow bypassing the environment http proxy