[m-rev.] for review: extras/posix: Don't abuse Mercury arrays for exec().

[Julien Fischer]

On Sun, 24 Mar 2019, Peter Wang wrote:

> extras/posix/posix.exec.m:
>    Allocate arrays of the correct type instead of passing Mercury array
>    elements as (char **).

That's fine.

Julien.