Fixed some bugs in the leader change (although it still needs plenty of work, specially when re-integrating the replica).

Fixed a bug related to read only requests. Moved RadomDemo to a dedicated package.

State transfer protocol can now notify the recovered replica about the most recente view. 

Added apache codecs do deal with base64 encode/decode.

Cleanup on the TOMConfiguration. Removed several configuration parameters that do not make sense anymore. Besides that merged some packages and cleaned a bit more of code here and there.

In this commit, I have submitted the code for the leader change. Unfortunately there is some kind of conflict between the code I developed for an older version of smart, and the most recent code available on the svn. Such conflict renders the leader change protocol faulty. Further debugging is necessary. The normal operating remains good, though.

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.

Removed out of context thread. The processing out of context messages is now made at the delivery thread and Server CS thread
Removed paxos internal timers.  From now on, the external timers from the total ordering layer shall trigger the leader change
Added a few debugging messages for delivering messages
Fixed a bug related to signatures of forwarded messages from replicas to the leader
Fixed a bug on the TTP that would make it crash in some cases
Fixed 2 bugs on the state transfer protocol responsable for not letting the old leader fetch the state once it recovered

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.