An(other) implementation of multi-Paxos in Rust.