Formatting
Added Readme. Shifted timeout to BallotNumber to make consistent with
paper.
Merge remote-tracking branch 'upstream/master'

Conflicts:
	bin/Process.class
	bin/Replica.class
	src/Replica.java
Added test cases. Added README.
Added stale_example.tex
Merge pull request #6 from harshhpareek/master

Added Readme, stale_example.tex and test cases