Use Wget through a proxy

This worked really well:
http://blog.taragana.com/index.php/archive/how-to-use-wget-through-proxy/

Since I'm in tcsh, I just used
setenv http_proxy ......

I'll make sure when I get home that it doesn't screw things up when not using the proxy, in which case we have to remember to comment things out.