adding LICENSE.md; modified from K
removing old license
changing K website to Javamop github
spelling fix RVMonitor --> RV-Monitor
Merge pull request #82 from runtimeverification/license

License