Better graphical error messages for merges.

Highlight all points that are involved in an exclusive resource allocation
conflict, in the generated html.

Invoke with -explain html, and annotate with

  match explain

or:

  if explain