set coq-prog-args appropriately for ProofGeneral