* Docs: add content, fix typos, fix formatting

* Rename doc file: Mcsema -> McSema

* Add a standard Contributing Guidelines doc

* Add remarks on verifying McSema, and unit tests