[Python-ideas] Moving calendar.timegm() to time module Was: Rename time module to "posixtime"