Syntax highlightening for .mzn files