Patch for Issue #2. Also reformatted the README
README typesetting issues.
Merge pull request #3 from runtimeverification/issue-#2-patch

Issue #2 patch