[m-rev.] for post-commit review: add color in det_report.m

[Zoltan Somogyi]

For review by anyone. I am particularly seeking feedback
on whether we should use colors to indicate correct/incorrect
in warning messages, such as about determinism declarations
that are looser than needed. The alternatives I see are

- use the usual correct/incorrect colors
- use another pair of colors
- don't use any color.

The diff implements the first choice above, but I am open
to being persuaded.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.cdr
Type: application/octet-stream
Size: 1480 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20240429/e3be92d2/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.cdr
Type: application/octet-stream
Size: 80247 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20240429/e3be92d2/attachment-0003.obj>