update CoqAstTranslatorTest expected results with gnat2xml wavefront