registry property to disable injections highlighting
WEB-1475 and WEB-11251 partially fixed
(cherry picked from commit 08366a8)
r=cdr
IDEA-122179 13.1 make/compile is much slower than 13.0
IDEA-122367 Build(make) is extremely slow