This function converts time in the pi time format to the pi string format:
The passed character buffer, timestring,should be at least 19 characters. If not the returned string will be truncated.
char PIPTR * timestring,
int32 len );
pi time stamp
pi time string buffer
Length of the time string character buffer