HTTP downloader tailored for web-crawler needs