Wrap state machine log in protocol
Add Raft source materials, including paper and proof