linux 下安装redis以及php Redis扩展