add lua-paxos