Suggestion: Add timestamps to logs #4057

Brief Issue Summary

It's helpful to have timestamps associated with the cmake build log, for example when building vcpkg dependencies that may take a long time. We can do that for ninja via its configuration, but for cmake it's not as simple. I'm able to do this by modifying cmaketools' dist.js on every update and changing the line

            this._channel.appendLine(user_message);

to

            this._channel.appendLine(raw_message);

But I figure that if it's helpful for me, then maybe it would be helpful for someone else.

CMake Tools Diagnostics

No response

Debug Log

No response

Additional Information

I think the change could be made with a simple bool flag, inserted here:

e.g.

const debugInOutput = vscode.workspace.getConfiguration('cmake').get('enableDebugInOutput', false);

and used here:

e.g.

// Write to our output channel 
if (levelEnabled(level)) {
    if (!debugInOutput) {
        this._channel.appendLine(user_message);
    } else {
        this._channel.appendLine(raw_message);
    }
}