Add userShortDateAndTimeString, userYearlessOrShortDateAndTimeString,
userYearlessOrShortDateIfNotTodayAndTimeString.

Rename userShortTimeOrDateString to userShortTimeDayOrDateString, and change
its behavior to use the yearless date where appropriate.