[m-rev.] for review: Delete Erlang-specific standard library modules.

[Julien Fischer]

On Tue, 27 Oct 2020, Peter Wang wrote:

> library/MODULES_UNDOC:
> library/Mercury.options:
> library/construct.m:
> library/deconstruct.m:
> library/erlang_builtin.m:
> library/erlang_rtti_implementation.m:
> library/library.m:
> library/type_desc.m:
>    Delete erlang_builtin and erlang_rtti_implementation modules.

That's fine.

Julien.