title: Converting http date header string to time_t
body: <p>I want to convert the http header field "Date", which is returned to me in the format
  "Wed, 07 Mar 2012 09:58:26 GMT", into a <code>time_t</code> value.</p>
  
  <p>I'm not sure if there's a standard format for this field in the http headers.</p>
  
  <p>I saw this: <a href="https://stackoverflow.com/questions/3786201/parsing-of-date-time-from-string-boost">parsing of date/time from string (boost?)</a>,
  but I don't know if I can make a facet for the format I mentioned.</p>
  
  <p>Also, I need the functionality to be portable.</p>
  
  <p>I could easily parse it by myself, but I hope there's a better, quicker and safer way.</p>