extend time-decode to handle "2011-11-26T08:02:00.007-05:00"

curl_getdate() doesn't do that one