Use 24h format for times in messages

Currently we leave that out, making it unclear whether it's a.m./p.m.