Misc.
Towards deterministic replay.
Checkpoint.
Deterministic replay done.
Merge github.com:vjeko/distributed_examples