Lab 3: Paxos-based Key/Value Service