A customized version of time.ctime()