Fixing coq project file mechanism.
Added faq for coq pg.
Fixing undeclared variables for compilation.
Fixing a compilation warning for a ml4pg function in coq.el.