Integration.Kotlinc
val capture : prog:string -> args:string list -> unit
perform capture when given prog and args, this is the entrypoint for infer being called with 'capture -- kotlinc'