Added a missing wildcard to the model's classification code

Mysteriously, Scala 2.10 accepts this code, even though it was obviously
broken. Scala 2.11, however, complains, and it was quite right to do so
Added some more safety checks to CoqAutoEditStrategy

For boring technical reasons, events with an offset of 0 were causing
strange things to happen, so those are now handled specially; events
happening past the end of the document will now also be removed
Force the creation of output folders

It seems that, when importing projects, resources which exist on the
filesystem might not yet exist in the Eclipse workspace. This commit stops
that from being a problem
Don't create CoqPackageFragmentImpls for directories with invalid names
Bumped the version numbers to 0.4.5.1 and added a changelog entry
The Coq scanner classes shouldn't be singletons

These classes aren't actually stateless -- they inherit piles of state from
RuleBasedScanner! As a consequence, damaged regions were very likely to be
associated with completely incorrect documents when more than one file at a
time was open, which in turn caused many other errors

(cherry picked from commit d3d7065068acfed784070e6c75690b442a9cf4c5)
Bumped the version numbers to 0.4.5.2 and added a changelog entry
Made the PIDE reconciler manually apply each DirtyRegion to the document

This change stops the cached document snapshot from getting out of sync
with the pending edits when lots of updates are made in quick succession
Updated the embedded snapshot of PIDE

The Coq_Resources class can now be told where to find the coqtop program,
so this commit does that, too. Consequently, the PIDE Coq editor now
respects the configured path to coqtop
Made all of the Scala 2.11 dependencies mandatory
Merge branch 'pre-loadpath-ui-bugfixes'

This is really only to preserve the changelog and metadata of the two
bugfix releases that happened on this branch
Bumped the version numbers to 0.4.6 and added a changelog entry

This commit also adds explicit dependencies on some parts of the Scala
standard library -- scala.xml and scala.util.parsing.combinator -- that
were split into separate plugins in Scala 2.11, and adds copies of these
plugins to the Coqoon repository