javadoc for packages

[Gerolf Seitz]

now that we're on java5, i think we should also move the javadoc
for packages from package.html to package-info.java

any objections?

  Gerolf