javadoc template: Add option for header to identify document on each HTML page

API documentation should produce identifying information at the top of each HTML page. Our current javadoc output all looks the same, and it's easy for a user to consult the API doc pages for the wrong version and not be aware of it.

For example:

-title "Java(tm) Platform API 1.1.1"

as an option to javadoc could place the argument (a string of HTML text) as the major title of the packages.html file as well as the subtitle on other generated pages.