Merge branch 'fix/eva/printer-domain-option-name' into 'master'

[Eva] Unifies Printer Domain log category name (s/d-Printer domain/d-printer-domain/)

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

src/plugins/value/domains/printer_domain.ml

@@ -34,7 +34,7 @@ module Simple : Simpler_domains.Simple_Cvalue = struct
   (* In this domain, the states contain nothing. We use [unit] as type formal
      the state and we reuse [Datatype.Unit] as a base for our domain. *)
   include Datatype.Unit
-  let name = "Printer domain"
+  let name = "printer-domain"
 
   (* --- Lattice operators --- *)