[m-rev.] for review: split_file, and an upcoming diff

[Julien Fischer]

On Mon, 9 Mar 2020, Zoltan Somogyi wrote:

> I wrote a small utility program to help me split up a Mercury module.
> Since I found it useful, I am proposing to add it to the extras,
> in a new directory. The attachment contains the proposed
> three files in that directory. I am not posting a diff because
> that would require at least a "git add -N" on the extras directory,
> and one of the things I am seeking feedback on is the name
> of the tool, which should also be the name of that directory.

I think split_file is fine.

Julien.