Update README.md

How to compile and run korat-1.1