Simple logging

val verbose : bool ref
val log : string -> unit
val logf : ('a, unit, string, unit) format4 -> 'a