[Python-ideas] Issue9004 Was:Rename time module to "posixtime"