Downloader: implement actual repo.xml downloading and caching
Downloader: trim trailing newlines from HTML texts