attempt at summarizing Raft in one page of pseudo-code warning: might not be entirely correct, check with TLA+ spec build the PDF with pdflatex pseudocode.tex