attempt at summarizing Raft in one page of pseudo-code