Some python scripts to automatically set up a Redis cluster.