refactor: remove execution_time from tool reporting#205

ezyang wants to merge 1 commit intogh/ezyang/155/baseezyang/codemcp:gh/ezyang/155/basefrom

gh/ezyang/155/headezyang/codemcp:gh/ezyang/155/headCopy head branch name to clipboard