[m-rev.] for review: Reduce size of MR_win32_error_name.

[Julien Fischer]

On Mon, 29 Aug 2022, Peter Wang wrote:

> All the strings returned by MR_win32_error_name include a common prefix
> "ERROR_". Since there are many (1749) such strings, we can reduce the
> size of the data by about 10 KB by returning only the part following the
> prefix.
>
> tools/generate_windows_error_name:
> runtime/mercury_windows_error_name.c:
>    Make MR_win32_error_name return strings without the "ERROR_" prefix.
>
> library/io.m:
>    Update caller system_error_win32_error_name to add the "ERROR_"
>    prefix.

That's fine.

Julien.