VCGen Suggestions

Helpers for attaching Try this suggestions to tactic diagnostics.

def OracleComp.ProgramLogic.addTryThisTextSuggestion (ref : Lean.Syntax) (text : String) : Lean.MetaM Unit