Update README.md

fixed instruction to kompile cil semantics