Rename Util/Paxos for Clustering n HA to HIgh-Perf/Paxos for Clustering n HA