Improved Workspace assistant

Measure workspace assistant requests

Workspace assistant requests now record timing for the stages that affect response time.

Operational logs now include total request time, run lookup, lease acquisition, OpenAI response time, tool execution, and progress-save time. Run, conversation, request, round, and tool identifiers make related entries easy to follow without logging request content.