Added SIZEOF_TIME_T, MAX_TIME_T and MIN_TIME_T. Rev: src/configure.in:1.854 Rev: src/pike_int_types.h:1.3