- Improvements on the performance of communication system
- big clean up of the code (many old methods deleted)
- corrected bug in out of context (now, a consensus is only started if a propose is received)
Note: still need to verify if state transfer and leader change works right

In this commit, it has been added a timeout for the state transfer protocol, and fixed an implementantion error regarding f + 1 state hashes consistent amoung them, and a complete state inconsistent with those ashes.

It was also fixed a bug that would crash clients when a a reconfiguration was applied, and also fixed 2 bugs related to the checkpoints, which  would make replicas crash.

Finally, there are also some lines of code that have been slightly modified, but which shouls not affect the behavior of SMaRt.

Include session on the messages... corrected the problem of clients block when they ressurrect (so, now a client can run multiple times with the same id)

In this commit, it was added a new feature to SMaRt. It now supports dynamic views. Some bugs from the previous commit were also fixed. This was a fairly extensive update to SMaRt.

In this commit I made an optimization to the state transfer protocol that consists on the sending of hash's of the state. Only one replica will send the actual state. I also worked towards fixing some bugs.