Syntax highlighting for semantic framework K. Read more on http://kframework.org