I updated the :kore: *Kore* VS Code and IntelliJ p...

# kore

[Ayfri]

I updated the kore Kore VS Code and IntelliJ plugins: they analyze stuff way faster now, added a bunch of small utilities, like warnings for duplicate functions or detecting much more complex Kotlin patterns, also added better view modes to the Kore Explorer tool 🔥