[m-dev.] delete Erlang backend

[Julien Fischer]

Hi Peter,

On Tue, 20 Oct 2020, Peter Wang wrote:

> Is it about time to delete the Erlang backend? I think the order to do
> it is something like this:
>
>  - delete from documentation
>  - delete from configure
>  - delete from makefiles and scripts
>  - delete from library
>  - delete tests that were specifically for the erlang backend
>  - delete from compiler
>  - keep support for --libgrades-exclude* erlang

That seems about right.  (I have no objections to deleting the Erlang
backend.)

Julien.