Vaguely working Paxos and lock server, using the publiclog social provider