[cvs-nhc98] Allow for negative big Integers in the hat file format.

[Malcolm Wallace]

malcolm: Fri May  4 16:35:16 CEST 2001

Update of /usr/src/master/nhc/src/tracer/runtime
In directory hinken:/tmp/cvs-serv28013/runtime

Modified Files:
	fileformat.c 
Log Message:
Allow for negative big Integers in the hat file format.
  * If the "size" byte is negative, then the whole number is negative.
  * There is no special encoding in the rest of the value - it is
    always a positive number, only the sign bit (in the size) can change.
  * Update hat-connect and hat-stack to print the minus sign.