(** [read filename] is the contents of [filename] as a string.
The empty string is returned if [filename] does not exist. *)
let read filename =
let chan = In_channel.open_text filename in
let content = In_channel.input_all chan in
In_channel.close chan ; content