Fixed jltools bug 6.  Qualified inner class creations expressions,
such as "a.new C()" were not being parsed correctly.

Fixed jltools bug 8.  AST construction of qualified "super" expressions such
as "A.super.m()" was incorrect.
Fixed jltools bug 10.  Array initializers were not being typechecked.
Fixed jltools bug 4.  translate() was not calling enterScope and leaveScope.
This causes problems for translating local classes.
Fixed jltools bug 5.  Anonymous classes were incorrectly translated.
I split out from ClassNode.translate() a translateBody() method.  This is
called from NewObjectExpression.translate() rather than the old translate
method which inserted the class header.

Fixed jltools bug 7.  Type checking of qualified class creation expressions
was incorrect.  Changed NewObjectExpression.typeCheck().
Fixed jltools bug 9.  Qualified "this" and "super" expressions were
incorrectly type checked.  They are checked against the current
class in the local context, not against the qualification.  Changed
SpecialExpression.typeCheck().
A "mostly working" first go at a typechecking stage for the PolyJ extension
oops.  This wasn't supposed to be checked in on the head branch.
Jed and Grant's doc.
Added a file to record things that are broken.
removing translation document, temporarily.
Checking in translation document with binary option set.
replaced MS Word version of polyj translation document with a LaTeX version.
Merged changes made on POLYJ_PARSE_DEV branch into the main trunk.
The old code is available on the PRE_POLYJ_MERGE branch.
Reimplemented Jif: rewrote parser, cleaned up the type system and label
checking.  Constraint solver, translation, external principals, and
.class file loading are not complete.  Needs testing.
Made the configure script more friendly to Solaris.  Untested on NT.
Fixed a bug in translate().  We enter a method scope twice, but leave only
once.
Changed some error messages to be slightly less confusing.
Added partial support for external principals.  The acts-for relationship
isn't implemented, yet.  Constant prinicipals can be looked up in a scope.
Changed SourceFileNode to contain a list of declarations rather than a list
of ClassNodes.  This allows extensions to have non-class top-level constructs
in a source file.
Put all .class files in the directory jltools/classes. This has the
benefit that we don't mix source files and generated files. It will be
necessary to add jltools/classes to your CLASSPATH in order to run
the compiler.
Fixed a quoting bug which broke the script for bash and ksh.