Docker PHP7官方镜像安装Redies扩展

直接RUN docker-php-ext-install redis 失败，google获得：

ENV PHPREDIS_VERSION 3.0.0

RUN mkdir -p /usr/src/php/ext/redis
&& curl -L https://github.com/phpredis/phpredis/archive/$PHPREDIS_VERSION.tar.gz | tar xvz -C /usr/src/php/ext/redis --strip 1
&& echo 'redis' >> /usr/src/php-available-exts
&& docker-php-ext-install redis