Paxos implementation finished! Just merging left!!!