added new package: kframework syntax highlighting
Merge pull request #2094 from Zhomart/master

added new package: kframework syntax highlighting