Update README.md

fixed instruction to kompile cil semantics
Merge pull request #26 from yilongli/java_rewrite_engine

Update README.md