Added two files with the code for the causal message logging protocol.