title: Time conversion in javascript
body: <p>How can I convert a datetime that looks like: </p>
  
  <p>'Thu Jul 09 2015 08:00:00 GMT+0300 (GTB Daylight Time)' </p>
  
  <p>to a date like 
  'dd-mm-yyyy' - ie '09-07-2015'? </p>
  
  <p>(preferably no special libraries used)</p>