CoqIDE: fix coloring bug when jumping back to the first phrase

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16928 85f007b7-540e-0410-9357-904b9bb8a0f7
Ephemeron: add a function to run a collection cycle

This is necessary if one wants to check how much memory
Coq uses after a collection.  The idiom is:
  Gc.full_major (); Ephemeron.clear (); Gc.full_major ();
since the first collection may just put collected ephemerons
in a to_be_cleared list that is processed by Ephemeron.get/create/clear.
Processing the list may create new garbage (the content of the ephemeron),
Hence a new Gc cycle has to be run afterwards.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16929 85f007b7-540e-0410-9357-904b9bb8a0f7
Oups, repair the compilation (micromega + Morphism_prop)

 It seems I forgot to fully recompile after my last bunch of
 syntactic changes about List.assoc_f, that weren't so syntactic
 after all, sorry :

 - Util isn't used in micromega, hence no List.assoc_f there
 - There is something wrong in my modifications of Notation_ops
   that breaks the compilation of Morphism_prop. For the moment
   I don't see what, so I revert all the modifications of this file

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