Nicer Vim syntax highlighting for K-Framework syntax.