Make coqdep find Require commands prefixed by Time
Support for Timeout n and From ..

- The state machine gets kind of complex
  maybe it should become a parser at some point?
a comment about the new state.
coqdep comments counter is in the stack
factored out require_modifiers + bug fix.

Conflicts:
	tools/coqdep_lexer.mll
Correct a spelling mistake
Grammar: "allowing to" is not proper English

I'm not quite sure why, but I'm pretty sure it's not.  Rather, in
"allowing for foo" and "allowing to foo", "foo" modifies the sense in
which someting is allowed, rather than it being "foo" that's allowed.
"Allowing fooing" generally works, though it can sound a bit awkward.
"Allowing one to foo" (or "Allowing {him,her,it,Coq} to foo") is always
acceptable, in-as-much as it's ok to use "one".

I haven't touched the older instances of it in the CHANGES file.
Grammar: "avoiding to" isn't proper, either
Clean up a comment in plugins/romega/ReflOmegaCore

Based on suggestion by @gasche.
instanciation is French, instantiation is English
"allows to", like "allowing to", is improper

It's possible that I should have removed more "allows", as many
instances of "foo allows to bar" could have been replaced by "foo bars"
(e.g., "[Qed] allows to check and save a complete proof term" could be
"[Qed] checks and saves a complete proof term"), but not always (e.g.,
"the optional argument allows to ignore universe polymorphism" should
not be "the optional argument ignores universe polymorphism" but "the
optional argument allows the caller to instruct Coq to ignore universe
polymorphism" or something similar).
Prerequisite to fix stm test-suite when not in -local