#865: Provide a way to hide the download progress.
Merge pull request #865 from mdboom/console/hide-download-progress

Suppress "Downloading" message in download_file()