[Chore] Rename old coq/rocq references

[pimotte]

Some pieces of code have an old name that does not reflect their current status.

Acceptance criteria:

• Identify all instances where we should be using Rocq instead of coq. Do not change stuff that breaks compatibility (like setting names)
• Refactor these instances to better names

Known instances:

• coqEditor to waterproofEditor and WaterproofEditorProvider
• pmWebview to waterproofWebview, ProseMirrorWebview to WaterproofWebview.