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