An implementation of Paxos in Go.