finish lab3 part A: paxos