updated coq ast translator tests to use wavefront version of gnat