Little code restructuration in CoqIDE tags.

- Removing tag "found" (unused since bd18c0821 "Now CoqIDE has a nice
  find & replace mechanism").
- Removing setting the priority of the debugging tag edit_zone: it was
  set at exactly the level it would have been by default minus 1,
  which is the level of tooltip, which have no associated visible
  markers, so the setting was a priori w/o effect.
- For clarity, reorganizing order of tags into ephemere ones and non
  ephemere ones.

0 files changed, 0 insertions, 0 deletions