Add missing bisect_ppx instrumentation

Author: sim642

src/dune

@@ -95,6 +95,7 @@
   (libraries goblint.lib goblint_std)
   (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson))
   (flags :standard -linkall -open Goblint_std)
+  (instrumentation (backend bisect_ppx))
 )
 
 (executable

src/util/backtrace/dune

@@ -2,4 +2,5 @@
 
 (library
  (name goblint_backtrace)
- (public_name goblint.backtrace))
+ (public_name goblint.backtrace)
+ (instrumentation (backend bisect_ppx)))

src/util/parallel/dune

@@ -15,4 +15,5 @@
    )
    domain_shims
    domain-local-await)
+ (instrumentation (backend bisect_ppx))
  )

src/util/timing/dune

@@ -3,4 +3,5 @@
 (library
  (name goblint_timing)
  (public_name goblint.timing)
- (libraries catapult catapult-file domain_shims))
+ (libraries catapult catapult-file domain_shims)
+ (instrumentation (backend bisect_ppx)))

src/util/tracing/dune

@@ -8,4 +8,5 @@
    goblint_std
    goblint_logs
    goblint-cil
-   goblint_build_info))
+   goblint_build_info)
+ (instrumentation (backend bisect_ppx)))