improve date & time formatting

The consolidated DateFormatter class knows how to format a date in a
specific context (i.e. in a list, in a widget, in a notification ...)