I this commit, I continued the work on the state transfer protocol. I implemented the modifications discussed. However, the protocol remains faulty. Further debugging is required.

In this commit, i've only added some debug messages.But I committed it anyway, so I can work on SMaRt during the weekend at home

In this commit, i've continued my task of debuging the code.I finally managed to get the replica to update itself. However, when the clients finish to send requests, that same replica still remains a little behind, even though it sucessfully updates itself during previous executions of the state transfer protocol.

In this commit, i've continued my task of debuging the code. I made sure that the checkpoints are indeed working properly, so i re-activated the code which implements it.  Part of the state transfer protocol is also working, but I committed it de-activated. I'll resume the debugging tomorrow.

I've resumed my work on the state transfer protocol. However, I'm having trouble getting it to work right. I've de-activated the protocol, in order to safely commit the changes.

I have completed the coding of the state transfer protocol. However, I'm still yet to test the changes made in this commit. Therefore, this is likely to be an unstable version of SMaRt