net.http: implement http.download_file_with_progress/2, saving each chunk, as it is received, without growing the memory usage#21633