python 利用time库ctime函数获取系统当前时间