Elixir implementation of Multi-Paxos based on van Renesse 2011