title: C++ convert date formats
body: <p>I would like to convert an <code>int</code> date like:</p>
  
  <blockquote>
    <p>20111201</p>
  </blockquote>
  
  <p>to <code>string</code>:</p>
  
  <blockquote>
    <p>01DEC2011</p>
  </blockquote>
  
  <p>Is there a fast date format conversion built into C++ (or maybe a bash system command I can execute instead) to do this or am I stuck making a switch for all of the months?</p>