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