Add Raft TLA+ proof to source documentation

https://ramcloud.stanford.edu/~ongaro/raft.tla