Add --(no-)?-proxy option to all scripts to allow bypassing the environment http proxy
Merge branch 'dev/noenvproxy'