val read_file : string -> string
(** [read_file filename] is the contents of [filename] as a string.
    The empty string is returned if [filename] does not exist. *)