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
Provide a smidgeon of in-file documentation for parse_glob
Adjust parse_glob to isolate "pure" characters.

Need this to isolate path components when doing matches like

    */*.c
Implement wildcard function for Holmake.

Closes #36
Document wildcard function in DESCRIPTION and release notes
Make \ie, \eg and \etc LaTeX macros expand to text in italic shape.
Implement nomath option to munger commands to override global -m option.
Some documentation for math mode munging.

Progress with #121
Documentation reflecting preference for Datatype over Hol_datatype.

Some code changes as well, most importantly in TUTORIAL's
examples/ind_def/clScript.sml.
Minor comment about how to build Poly/ML heaps in DESCRIPTION.
Finish documenting math-mode munging.

Closes #121.
Trivial typo correction.
Fix half-fix of lnamelessScript (changing Hol_datatype to Datatype)
Pretty-printer now annotates consts with their real names and types.

In "complicated" overload situations, such as the overloads for NOTIN
and <>, the annotation can't point to a "real" underlying constant,
but does still provide the type for the emacs tool-tips.

In passing, also create a new annotation form, the SymConst as well as
the Const. This is done for the TeX backend's benefit, so that it can
avoid treating things like + the same as normal identifiers. This
works well for math-mode munging where you want "+" to map to $+$, but
want "INSERT" to map to \textsf{INSERT}.

Closes #39
Minor formatting tweak in release notes.
Empty command-line Holmake only builds first target in Holmakefile.

If there is no Holmakefile, or if there is a Holmakefile with no
targets, then the old behaviour of attempting to build everything
possible happens.

Documented in release notes and DESCRIPTION.

Many of the distribution's Holmakefiles were harmed in the creation of
this commit, but, for the reasons given in the release notes, I don't
think this should happen that often for typical user developments.

Closes #175
Update some Holmakefiles following commit 6e6ca26.
Another Holmakefile needing fixing after 6e6ca26