Function download_blob 

async fn download_blob(
    workspace: &Arc<Workspace>,
    hub: &Hub,
    revision: &str,
    blob: &HubBlob,
    dest: &Path,
    base: u64,
    total: u64,
) -> Result<(), String>

Fetch one file of a speaking install, reporting the whole set’s progress.