Basic paxos proposer written (not tested).