raft_maude Maude model of Raft Algorithm introduced in 'In Search of an Understandable Consensus Algorithm' with some simplification