PHP Extension for mass importing into Redis