[m-rev.] for review: Add case-insensitive string compare predicate.

[Julien Fischer]

On Mon, 20 Jun 2016, Peter Wang wrote:

> Suggestions for a better name?

compare_ignore_case_ascii

> ---
>
> library/string.m:
> 	Add string.compare_ci_ascii predicate,
> 	i.e. case-insensitive in the ASCII range.
>
> NEWS:
> 	Announce addition.

That looks fine.

Julien.