Update the Paxos demo readme