php使用redis扩展以及安装redis(linux下)