Consensus related auxiliary classes.
Code used in the "Hands-On" sections of the book
Introduction to Reliable and Secure Distributed Programming
by Christian Cachin, Rachid Guerraoui and Luis Rodrigues.