add INSTALL.md to the assembly code
Merge pull request #129 from runtimeverification/addInstall

add INSTALL.md to the assembly code