started revising INSTALL
minor changes and spell checking
changing INSTALL to markdown
removing the old INSTALL
changing to markdown syntax
changing the numerals
Changing more numerals
minor changes
more minor changes
addressing review comments
Removing some "trivial" info
minor clarification
Fixing markdown presentation issue
Merge pull request #88 from runtimeverification/newInstall

New INSTALL file