string ctime(clock)
int clock;

Give a nice string with current date and time, with the argument 'clock'
that is the number of seconds since 1970.

See also: efun/time
