repo layout, begin simple paxos à la Lamport