Add support for DateTime.strptime

Full disclosure: basically, when it comes to `Time`/`Date`/`DateTime`, I don't really know what I'm doing.

For the implementation I copied `Date`'s `strptime` code.