Fixing coq project file parsing + moved project options.
Added some information on coq project file in doc.
Added comment.