Refactor the diagnostics to replace codespan with annotate-snippets

[ghaith]

Is your refactor request related to a problem? Please describe.
Codespan has last been updated in 2021, rust-lang seems to have an equivalent crate (annotate-snippets)
We should replace the code with the new crate.

[volsa]

Little POC using the GlobalContext for error reporting @mhasel and I worked on dae9b16 for future inspiration.