[WIP] Add a runtime for qcheck-stm

The runtime reimplement the QCheckSTM.Sequential.Make functor to use new
postcond function

dune-project

@@ -164,6 +164,24 @@
  (conflicts
   (result (< 1.5))))
 
+(package
+ (name ortac-runtime-qcheck-stm)
+ (synopsis "Runtime support library for Ortac/QCheck-STM-generated code")
+ (description
+  "\> The ortac-runtime-qcheck-stm library provides support for the code
+  "\> generated by the Ortac/QCheck-STM plugin (provided by the
+  "\> ortac-qcheck-stm package).
+  "\>
+  "\> Ortac (OCaml Runtime Assertion Checking) is a tool to turn
+  "\> executable Gospel specifications into code to test they hold.
+  )
+ (authors "Nicolas Osborne <nicolas.osborne@tarides.com>")
+ (maintainers "Nicolas Osborne <nicolas.osborne@tarides.com>")
+ (depends
+  (ocaml (>= 4.11.0))
+  qcheck-stm
+  ortac-runtime))
+
 (package
  (name ortac-examples)
  (synopsis