Update README.md

fixed instruction to kompile cil semantics

@chathhorn please review