add paxos
add paxos test