Changed the Highlight syntax and updated all toolkits to support the new syntax

This should be a rare change to the existing CriticMarkup syntax.
Previously we used `{{ }}` for highlights but there was a conflict with
several static blog templating engines that use a similar syntax.

The new syntax is `{== ==}` for highlights.