A redis server implementation in pure PHP