making a pass over INSTALL.md
making a pass on README
more changes to README
Update README.md to remove duplicated information
Merge document
Merge pull request #144 from runtimeverification/passOnInstall

making a pass over INSTALL.md