An implementation of Basic Paxos, including leader election, in Akka.