[serlib] Support micromega_core plugin

CHANGES.md

@@ -2,9 +2,10 @@
 
  - [test] Don't require math-comp to run genarg tests (@ejgallego, #399 ,
           fixes #395 , thanks to @SnarkBoojum for the report)
- - [serlib] Fix (@ejgallego, #398, fixes #397 fixes sr-lab/coqpyt#35 ,
-            thanks to @laetitia-teo and @Nfsaavedra for the bug
-            report)
+ - [serlib] Fix CPrimitives Serialization (@ejgallego, #398, fixes
+            #397 fixes sr-lab/coqpyt#35 , thanks to @laetitia-teo and
+            @Nfsaavedra for the bug report)
+ - [serlib] Support `micromega_core` plugin (@ejgallego)
 
 ## Version 0.19.1
 

serlib/plugins/micromega_core/dune

@@ -0,0 +1,6 @@
+(library
+ (name serlib_micromega_core)
+ (public_name coq-serapi.serlib.micromega_core)
+ (synopsis "Serialization Library for Coq Micromega_core Plugin")
+ (preprocess (staged_pps ppx_import ppx_sexp_conv ppx_deriving_yojson ppx_hash ppx_compare))
+ (libraries coq-core.plugins.micromega_core serlib sexplib))