add files that set coq-prog-args appropriately for Proof General
minor changes to comments