Added __format__ method to datetime.datetime, datetime.date, and datetime.time.

If format_spec is empty, __format__ calls str(self), else it calls
self.strftime(format_spec).