Release 0.13.0: circular dependency diagnostics

Summary of 0.13.0:
- New editor diagnostics for circular type and constant dependencies
  (A = B; B = A, pointer/array cycles, constant cycles), matching gm2
- No use-before-declaration check by design: probes proved gm2 accepts
  all declaration orderings (multi-pass), rejecting only true cycles
- Procedure types now keep signatures; callback patterns stay silent
- All six m2compiler-V3 modules still report zero issues (gm2-clean)

apps/electron/package.json

@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "modula2-ide-electron",
-  "version": "0.12.5",
+  "version": "0.13.0",
   "description": "GNU Modula-2 IDE built on Eclipse Theia",
   "author": "Eric Streit <eric@yojik.eu>",
   "main": "electron-launcher.js",

package.json

@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "modula2-ide",
-  "version": "0.12.5",
+  "version": "0.13.0",
   "description": "GNU Modula-2 IDE built on Eclipse Theia",
   "engines": {
     "node": ">=24",