Support fraction of seconds for DATE()/TIME()

[fschoenm]

DATE() and TIME() should also support fractions of a second, e.g. to parse the following time string (valid according to RFC3339): 2010-01-01T01:00:00.000+01:00