title: ISO time (ISO 8601) in Python
body: <p>I have a file. In Python, I would like to take its creation time, and convert it to an <a href="http://en.wikipedia.org/wiki/ISO_8601" rel="noreferrer">ISO time (ISO 8601) string</a> <strong>while preserving the fact that it was created in the <a href="https://en.wikipedia.org/wiki/Eastern_Time_Zone" rel="noreferrer">Eastern Time Zone</a> (ET)</strong>.</p>
  
  <p>How do I take the file's ctime and convert it to an ISO time string that indicates the Eastern Time Zone (and takes into account daylight savings time, if necessary)?</p>