update pr-downloader: proxy support!