Redis Protocol implemented by python