[m-rev.] for post-commit review: standardize .mih files

[Zoltan Somogyi]

For review by anyone.

We discussed the idea earlier, and this mostly implements
the result of the discussion. The review is mostly for the
documentation.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.mih
Type: application/octet-stream
Size: 1108 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20150101/b443936d/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.mih
Type: application/octet-stream
Size: 15511 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20150101/b443936d/attachment-0001.obj>