Universe counters on slaves are in sync with master

Simple framework for remote counters.  The slaves ask
the master for a fresh value.  On the master the thread
manager answers with a bunch of fresh values (so that further
requests can be immediately satisfied).
Remote counters are guarded with a mutex on the master,
because all slave managers as well as the master thread
can access the counter at the same time.

I know the name sucks.  These counters are remote for the slaves,
and local for the master.  I'm open to suggestions...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16713 85f007b7-540e-0410-9357-904b9bb8a0f7
Fix STM: Module Import may change the parser

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16714 85f007b7-540e-0410-9357-904b9bb8a0f7
CoqIDE: fixed detection of edits in the locked zone

Trying to understand if the edit concernes the processed zone
from the begin_user_action callback was a bad idea, the callback
cannot reliably know where the edit takes place (E.g. insert mark
means nothing: one can copy from the insert point but paste elsewhere).

The callbacks delete_range and insert_text do know where the edit is and
can ask coq to backtrack if needed.  If coq is busy, the user action is
cancelled (the locked zone cannot be unlocked).

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