allowing time separator to be overridden via options.  This allows tooltip date
content to be localized for regions that don't use ":" as the separator between
hours and minutes.  See OP-22327.