Fixing #475. the "=>" ptoken just before "exists" should be the ltac
"=>" most of the time.
Fixing #476. Adding more keywords for indentation like Lemma.
Fixing #477. Adding Proposition as a goal-starter keyword.
Fixing #476 (bis). Adding Fixpoint as a goal starter.
Fixing #478 + reverting partially the fix of #476 (Instance cannot be indented by default).
Fixing another bug in indentation concerning "where". Actually there
are other uses of "where (declaring notation for records that I did no
test).
Fixing a big bug in coq project file management.
file and directory name were not adapted to where the current file is
inside the directory structure. Now the absolute names are build.
fix two bugs in parallel compilation for Coq
fix typo and compilation
remove backup file
add two Coq faq entries and improve some other