set coq-prog-args for ProofGeneral appropriately