Simple PHP Redis driver to communicate with a Redis server.