Format license
Address Grigore comments about INSTALL
Address some comments
Revise install
Revise install
revise
revise
minor
update readme to remove some duplicated warnings
minor
Fix style
minor
minor
temp
Minor
Minor
Minor
Merge pull request #164 from runtimeverification/readme

update readme to remove some duplicated warnings
Minor
Minor