redis-cli: save an RDB dump from remote server to local file.