timestamp.c: ISO 8601 date format

There is only one (correct) way to format dates.