Added empty two generals post.
Began work on two generals blog.
More work on generals blog.
Added Formal Models
Merge pull request #2 from yuxiaotan/two-generals

Added Formal Models
Finished up to formal model.
Added tables to markdown.
Finished first draft of two generals blog.
Finished blog!
Merge pull request #3 from mwhittaker/two-generals

Two Generals