[patch] restore id/info on printf, add to verif commands. (#203)

Also fix trailing comma between "|"s.

revision-history.yaml

@@ -27,6 +27,7 @@ revisionHistory:
       - Make commas mandatory, not whitespace.
       - Restore flow description.
       - Update intrinsic module example to use a real intrinsic.
+      - Restore id and info in printf grammar, add to verif commands.
     abi:
       - Add ABI for public modules and filelist output.
       - Changed ABI for group and ref generated files.

spec.md

@@ -4242,20 +4242,23 @@ command =
         string_dq ,
         { "," , expr }
     , ")" ,
+    [ ":" , id ] , [ info ]
   | "assert" , "(" ,
         expr , "," ,
         expr , "," ,
         expr , "," ,
         string_dq ,
         { "," , expr }
     , ")" ,
+    [ ":" , id ] , [ info ]
   | "assume" , "(" ,
         expr , "," ,
         expr , "," ,
         expr , "," ,
         string_dq ,
         { "," , expr }
     , ")" ,
+    [ ":" , id ] , [ info ]
   | "cover" , "(" ,
         expr , "," ,
         expr , "," ,