added new package: kframework syntax highlighting