Remove deprecated option -no-hash-consing (currently doing nothing)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16442 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqtop -compile : avoid saving init state when compiling just one file

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16443 85f007b7-540e-0410-9357-904b9bb8a0f7
coqtop -compile: avoid with_heavy_rollback when non-interactive

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16444 85f007b7-540e-0410-9357-904b9bb8a0f7
minor cleanup in coqtop.ml

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16445 85f007b7-540e-0410-9357-904b9bb8a0f7
Egramcoq: clean an ugly code snippet

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16446 85f007b7-540e-0410-9357-904b9bb8a0f7
Indfun : use States.with_state_protection instead of freeze/unfreeze

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16447 85f007b7-540e-0410-9357-904b9bb8a0f7
Egramcoq+Lexer : no need for an init_function

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16448 85f007b7-540e-0410-9357-904b9bb8a0f7
Fix issues with "Reset Initial" in scripts given to coqtop -l

 Doing coqtop -l on a file starting with Reset Initial used to fail.
 To avoid that, we now always place an initial DOT in the libstack.

 Backtrack.reset_initial has been adapted accordingly: during an
 interactive session following a Load via coqtop -l (or .coqrc),
 a Reset Initial will bring back at the start of the interactive
 session, *not* undoing the initial Load.

 Note : Reset Initial might hence not be equivalent anymore to BackTo 1.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16449 85f007b7-540e-0410-9357-904b9bb8a0f7