more content and comments added in intro, examples, impl, and verification
addresses @gidden comment about 'full detail'
Merge pull request #11 from katyhuff/high-fid

addresses @gidden comment about 'full detail'
adds a sentence to the intro about why agent based alternative is good.
additions to intro
adds some more intro citations and content
removed reference to agent-based. We can address that previous work later.
removed benchmark section, belongs in examples. also changed title of the verification section to qa.
Merge branch 'intro'
deals with intro merge conflicts
spelling