管道下载文件助手

使用 `tube.download(remote_path, local_path)` 这样的辅助函数来从交互式 shell 中下载文件可能会很有用(类似于上传辅助函数)。