sig   type kind =       Frama_C     | Unmark     | Custom of string     | Feedback of Property_status.Feedback.t   val register : name:string -> file:string -> unit   val get : Gtk_helper.Icon.kind -> GdkPixbuf.pixbuf   val default : unit -> GdkPixbuf.pixbuf end