Merge branch 'feaeture/bytecode-execution' into 'master'

Allows to compile and execute in bytecode without WP

See merge request frama-c/frama-c!4408

src/init/boot/dune

@@ -44,6 +44,7 @@
 (executable
   (name empty_file)
   (public_name frama-c)
+  (modes byte (best exe))
   (modules empty_file)
   (package frama-c)
   (flags :standard -open Frama_c_kernel -linkall)

src/kernel_services/plugin_entry_points/dynamic.ml

@@ -145,6 +145,14 @@ let load_module m =
             load_plugin m
     end
 
+let () = Printexc.register_printer (function
+    | Dynlink.Error err -> Some (Dynlink.error_message err)
+    | _ -> None
+  )
+
+let () = Dynlink.allow_unsafe_modules true
+
+
 (* ************************************************************************* *)
 (** {2 Registering and accessing dynamic values} *)
 (* ************************************************************************* *)