[m-dev.] new option for library modules

[Julien Fischer]

On Fri, 31 Dec 2021, Zoltan Somogyi wrote:

>
>
> On Fri, 31 Dec 2021 00:08:46 +1100 (AEDT), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
>>> I have no objections to the "mercury_term_" suffix.
>>
>> Will do.
>
> The attached diff does this. The only part worth reviewing
> is the diff to NEWS.
>

It looks fine.

Julien.