Further common-format formatting options

Additional formatting options have been added to the "common format" style date formatting introduced in 7.1, they are:

• MONTH/Month/month - English month name in upper/mixed/lower case.
• MON/Mon/mon - Abbreviated English month name
• DAY/Day/day - English day name
• DY/Dy/dy - Abbreviated English day name
• AM/PM - synonyms for PP
• am/pm - synonyms for pp
• HH12 - synonym for HH
• HH24 - synonym for hh
• SS - synonym for ss
• MI - synonym for mm