Merge pull request #5 from harshhpareek/master

Shifted FailureDetect code to leader. Added killProc(..) and die(). 	Implemented persistent AliveReplicaFinder. Implemented TreeSet
Corrected CID code
Formatting