Moved the TryCast-like objects into a new package

Version 0.4.0 of Kopitiam will have no functional changes, but will split
the codebase up into several plugins. This is the first step in that
direction; note that the package's name is very definitely temporary!
Moved the Substring and FunctionIterator classes into the new ecloq package
Moved the ideslave protocol implementation into the new ecloq package
Moved CoqProjectFile and DependencyTracker into the new ecloq package
Moved the Coq model into the new ecloq package
Moved the Coq sentence extraction code into the new ecloq package
Moved most of the job support code into the new ecloq package
Moved some of the manifest constants into a new object in the ecloq package

Of course, the values of these manifest constants can't be changed without
breaking backwards compatibility, so they'll continue to refer to Kopitiam
for the foreseeable future
Added a placeholder plugin "companion" object to the ecloq package

This isn't actually a companion object, because the ecloq package isn't a
plugin yet. Until it becomes one, this dummy object will serve to reduce
unnecessary dependencies on Kopitiam packages
Moved the sentence-extraction code into the CoqSentence object

This change paves the way for moving the Coq project builder into the ecloq
package
Moved the Coq project builder into the ecloq package

This commit doesn't move CompileCoqRunner, so the builder still depends
upon Kopitiam proper for now -- but this will change very soon
JavaProofInitialisationRunner shouldn't try to manually build the model

The runner now just invokes the project builder, which is the most sensible
thing to do
Removed the CompileCoqRunner class

Coq compilation is now handled in a slightly different way by the new
CoqCompilerRunner class, which -- instead of modifying the workspace
directly -- returns the resulting .vo file as an array of bytes. This will
make it possible for CoqBuilder to run build jobs in parallel
Removed the IDE operation creation code from CoqModel and CoqModelImpl

This was conceptually messy, and it would have made the dependencies for
the new plugin unnecessarily complicated
Removed some unnecessary imports from the ecloq package
Moved Kopitiam into the new plugins/dk.itu.sdg.kopitiam/ directory

The process of splitting Kopitiam up is about to begin! For the time being,
though, all of the plugins will remain in one repository
Renamed the dk.itu.ecloq package to dk.itu.coqoon

After a... productive... brainstorming session yesterday afternoon, we've
provisionally decided that "Coqoon" will be the new name for the Coq bits
of Kopitiam
Created a new preference page for Coqoon-specific settings

This commit also makes the Kopitiam preference page refer to Charge!
instead of Load, which had annoyed me for a considerable amount of time
Moved the Coqoon core into a separate plugin

And we're off! The 0.4.0 release of "Kopitiam" is expected to consist of
three plugins: the Coqoon core, Kopitiam's Java components, and everything
else
Moved some more manifest constants into a new object in the coqoon package

As before, this new object -- and the dk.itu.coqoon.ui package that
contains it -- will eventually become the foundations of a new plugin