v0.1.0

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

• register file type "lean4", dummy lexer/parser (marked as 0.1.0 for this change)
• temp icons (with the author's poor design skill) for toolwindow and file
• restricting scope for live templates to lean4
• add commenter
• actions for toggle infoview and open infoview in browser
• @enigmurl fixes wrongly lsp/inlay-hints for non-lean files
• respect #check etc. inlay-hints to current scheme
• actions for increase/decrease/reset zoom level for jcef infoview