Copy Diagnostic Button

[rcosta358]

This PR adds a button to copy diagnostics to the clipboard.

Example

Clicking the button on the top right copies the following text to the clipboard:

Title: Refinement Error
Message: #ret³ == x - 1 is not a subtype of #ret³ > 0
Expected: #ret³ > 0
Found: #ret³ == x - 1
Counterexample: x == 1 && #ret³ == 0
Location: Example.java:11

[CatarinaGamboa]

What is the use case you see relevant for this feature?
The one thing that could be interesting i think is copying to an llm chat to ask why that is happening, and for that I think we need more information.
Actually, planning these features around use cases would be pretty nice to present

[rcosta358]

I think that is the main use case yes, for either sending the error message to someone else or to an LLM.
With the relevant code snippet the user will copy paste manually, I think thats enough information to fix the error.

[CatarinaGamboa]

I think that is the main use case yes, for either sending the error message to someone else or to an LLM. With the relevant code snippet the user will copy paste manually, I think thats enough information to fix the error.

Well.... we dont know if it is enough information, this is just the simplified version, it does not connect to code, it is tricky to know if it is enough. We can leave it for now but i doubt that this is enough for complex cases

[rcosta358]

I guess, but it's the same information the command-line version has.
At least it's a starting point, we can always improve it later.