Add a history.timestamp.format method to render the time in a specific
timezone, optionally with milliseconds.