modify paxosManager interface
v4.2 create proposalNumPair