HTTP downloader | Batch Downloader

A download tool that is baked for the GitHub release assets.