pretty_timestamp function

Quickly get a pretty timestamp without need to handle format-options etc.