New README.md

@seriousamlqz, @yzhang90, @grosu Please review

@grosu, please assign someone who knows better than me to write the Static Weaving Section: I don't use that option.
I opened an [issue](https://github.com/runtimeverification/javamop/issues/90) for this.