Make copy of portable pointer_eq available in Systeml.

This then allows regexpMatch to be portable too.
Add character-set values (empty and univ) to regexpMatch signature.
Parse shell-style globs into regular expressions.

Features include meta-chars *, ? and [..], along with POSIX style
character classes, character class negation with ^ or !, character
ranges with hyphens, and quoting of meta-characters with \.

Doesn't handle bash's

    [=c=]

and

    [.c.]

syntax for character classes, which depend on collation notions that I
don't see a good way of emulating.

Character classes are complicated, but it does handle things like

    [[:digit]ade-i]

which would match any of

    0123456789adefghi

Note also that every possible string really does correspond to a
regular expression.

With test-cases. Assuming that you are in tools/Holmake, run

    poly < parse_retest.ML