use twelve-hour clock in pretty_time

if we're going to use the AM/PM field `%p` then we should use the 12-hour representation, rather than the 24-hour representation

Fixes #4208