v0.0.19

Depend on the latest approved nightly build of LSP4IJ: 0.7.1-20241017-013236
Depends on platformPlugins: [com.redhat.devtools.lsp4ij:0.7.1-20241017-013236@nightly, org.jetbrains.plugins.textmate]

with @enigmurl's great efforts!

• update some dependencies
• change imports of infoview-app to dynamic loading, hence
• adapt external infoview widget
• adapt apply edit like simp?
• add support for goal hints in regular (i.e. non tactic) mode
• add diagnostic hints
• allow for collapsing of all inlay hints