Merge pull request #74 from goblint/expose_fresh_label

Expose `Cil.freshLabel`

Author: michael-schwarz

src/cil.mli

@@ -2657,6 +2657,8 @@ val endsWith: string -> string -> bool
 (** If string has leading and trailing __, strip them. *)
 val stripUnderscores: string -> string
 
+(** To generate new labels which do not provoke collision *)
+val freshLabel: string -> string
 
 (** {b An Interpreter for constructing CIL constructs} *)