Process coq code in a tex file, adding coq's output to the tex file so it appears in the final document.