Writing a Simple Redis Server with Python