Prettify hovers in the new language server
The hovers for the new language server have two problems:
- They do not have syntax highlighting
- They do not print according to an existing LIGO dialect
Acceptance criteria
- We use syntax highlighting to print hovers according to the CameLIGO or JsLIGO dialect
- We use actual LIGO syntax rather than debug one