No longer require redis, for people that don't want the headache of installing

On windows, there are builds of redis and phpredis, but not phpiredis which is needed for predis-async.