Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)
Reduce the amount of "Coq <" prompts generated by coq_tex. (Partial fix for bug #2964)