This revision makes the eclipse plugin only depend on drjava.jar and
eliminates all of the subsidiary jar files that were formerly members
of the lib directory for the eclipse plugin.  It also modifies build.xml
so that it only uses drjava.jar and does not rely on a source file tree
for DrJava.