Fix #30: Support Predis -- build phpRedis is too hard on some system.