console: Support formatting options in trace()