A Redis protocol parser / serializer written in PHP