Added the option to add --no-proxy to wget.