Spelling fixes in README
Github-flavored markdown for the instructions
Merge pull request #1 from GeorgeHahn/patch-1

Spelling fixes in README
Merge pull request #2 from gbraad/patch-1

Markdown for the instructions
Recompiled Z3 Emulator (ZOps) using Emscripten
Added link in README to the web based Z3 emulator