formatter: Add ticks as time unit and use it for user/system time columns

These are exposed in kernel ticks. So add a formatter for that that
converts to a proper time display.