add phpRedisAdmin in install-phpredis.sh