GH #158 - Made servers optionally use Redis sentinels.