Basics of paxos implemented. test 1 case