Paxos implementation for Sinalgo framework