rename lock_servers to replicas to make Paxos library more general; fix bugs in commander: send decisions to replicas not acceptors