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

More work done in the state transfer. It's near the stage where it can deliver the state to the application, and execute the stored batches

More work done related to the state transfer. The replica which requested for the state is starting to process it

Small changes to classes in package statemanagment. Added some test code to methods that I created in tomlayer (currently commented). The client of the counter demo is changed to infinitely send requests.

Previous changes to the message handler were not intended. It were really meant in the execution manager. Fixed.

Within this commit, the code that implements the checkpoints is completed. However, it still needs to be tested.

Isto foi so um teste, para ver se esta tudo ok. Apenas acrescentei um metodo inutil a uma das classes q fiz