Frontend.Cleaner
Simple utility to create and then delete files
val files : string list Stdlib.ref
val touched : string -> unit
val cleanup : unit -> unit