Name: ctime - print formatted time

Syntax:
	string ctime(int clock)

Description:
	The ctime efun converts an amount of seconds since 1970 (as returned
	by the time efun) into a nice format.

	There are different time functions for Nemesis time.

Return value:
	A string containing the date, for example: Tue Mar 31 17:36:02 2015

Examples:
	write(ctime(time())+"\n");

See also: efun/time, lib/format_time, lib/format_date, build/weather