redis import and export from stdin/out