update INSTALL.md to with the new generated binary
modify install file to remind users that step 2 and 3 are interchangeable
revised INSTALL.md to make to more clear
revised INSTALL.md to make to more clear
minor changes
Merge pull request #103 from runtimeverification/improvedoc

update INSTALL.md to with the new generated binary