[cvs-nhc98] patch applied (hat): Minor changes to the main build wrt the hat-tools:

[Malcolm Wallace]

Wed May 29 05:34:34 PDT 2002  malcolm
  * Minor changes to the main build wrt the hat-tools:
    * remove hat-trail-in-java from the standard build;
    * add "old" versions of other tools with -T in the name, e.g. hat-observe-T;
    * a few Cygwin-related changes, mostly still commented out.

    M ./Makefile.inc -14 +22