Added my dumb paxos code. Can't hurt as a starting point.