Pull in multipaxos implementation from castle-defense