New INSTALL file

@seriousamlqz, @yzhang90, @grosu, please review
I did not test yet. I opened an [issue](https://github.com/runtimeverification/javamop/issues/91) for this. If someone else has some spare cycles, they can test, update this file and close this issue.