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