[cvs-nhc98] Minor changes to the main build wrt the hat-tools:

[Malcolm Wallace]

malcolm: Wed May 29 14:34:34 CEST 2002

Update of /usr/src/master/nhc
In directory hinken:/tmp/cvs-serv11887

Modified Files:
	configure Makefile.inc Makefile 
Log Message:
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.