Adds posix.timegm(), brother of posix.mktime().