bla
test cases
incr progress
add self
more paxos.
some paxos
BenOr algorithm
with fsm
some comments
fix gitignore conflict