Provide hint for defining proper <bannerLeft> section
Add project and version info to generated javadoc

Set `notimestamp` to avoid unnecessary differences when generating
javadocs from the same git commit.