Simple time formatter

In 12-hour clock locales, shorten "10:00 AM" to "10 AM" and
shorten "12:00 PM" to "Noon".