Turn this Eclipse project into a Maven project.

The Ant build file for generating JavaDoc is replaced by an Eclipse
launch configuration which runs 'mvn javadoc:javadoc'.  (The only
remaining problem is that JavaDoc is also generated for the 'internal'
packages.)