wget proxy

Sometimes you may need to download files via proxy. Here is how to use wget to download file via proxy.