Add Raft paper, closes #11