Gerald's time-stamp format was inconsistent.

Gerald's time-stamp format was inconsistent.

The different os / python versions had different defaults for
'%c'. I'd previously changed the read function, but not the
generation function. Also it didn't look quite like some
of my timestamps in my files.

So now both creating the time stamp and parsing the time
stamp are using the same date string.