fix: Change Zicntr from mandatory to optional in MC100 (#1223)

Keep mandatory in MC200 (for now). Seems like package-lock.json also is
updated (maybe because I am running in a new devcontainer?).

See CSC Requirements WG discussion about Zicntr at
https://lists.riscv.org/g/csc-requirements/topic/116005126

Signed-off-by: James Ball <jameball@qti.qualcomm.com>

Author: james-ball-qualcomm

package-lock.json

@@ -23,12 +23,10 @@ in_scope_priv_modes:
 # History of this certificate.
 revision_history:
   - revision: "0.9.0"
-    date: "2025-02-06"
+    date: "2025-10-29"
     changes:
       - |
-        Provided to CSC Microcontroller WG for review given the following list of known issues:
-          ** abc
-          ** def
+        Made Zicntr from mandatory to optional since recent published ISA manuals have it as "recommended"
   - revision: "0.8.0"
     date: "2025-01-19"
     changes:
@@ -118,7 +116,7 @@ extensions:
     presence: mandatory
   Zicntr:
     version: "~> 2.0"
-    presence: mandatory
+    presence: optional
     param_constraints:
       TIME_CSR_IMPLEMENTED: {} # Unconstrained
   Sm:

spec/std/isa/proc_cert_model/MC100-32.yaml

@@ -46,6 +46,8 @@ debug_manual_revision: "0.13.2"
 # TODO: No ratified CLIC yet. It will be multiple extensions.
 
 extensions:
+  Zicntr:
+    presence: mandatory
   M:
     presence: mandatory
   B: