chore(deps): ⬆️ Update @types/mithril to version 2.0.13

Updated the devDependency @types/mithril to version 2.0.13 in package.json and pnpm-lock.yaml. This was necessitated by the need to keep up with the latest changes and improvements in the Mithril type definitions. Ensuring the type definitions used in the project align with the current state of Mithril enhances type safety and improves developer experience.

Author: maicol07

package.json

@@ -29,7 +29,7 @@
     "mithril": "^2.0.4"
   },
   "devDependencies": {
-    "@types/mithril": "^2.0.12",
+    "@types/mithril": "^2.0.13",
     "http-server": "^14.1.1",
     "mithril": "^2.2.2",
     "typescript": "^5.1.6"