Updating coq/faq
Fixed interaction between file variables and coq project file + faq.