new project file "korat-1.1" that depends on Korat
Merge branch 'master' of https://github.com/luofei11/korat