title: Python - convert time ISO 8601 STRING to 13-bit TIMESTAMP (MS) and vice versa
body: <p>Did not figure it out in python quickly how to convert time <code>ISO 8601</code> STRING (with MS) to 13-bit <code>TIMESTAMP</code> (MS) and vice versa. Somebody might expert to this?</p>
  
  <pre><code>'2017-11-01T08:11:44.040Z' to '1509523904040' 
  
  '1509523904040' to '2017-11-01T08:11:44.040Z'
  </code></pre>