ExoRedis first push. Incomplete have to add socket level code to listen to the port 15000, and to handle the Ctrl+C command