An implementation of the Raft algorithm