do not put timestamps in javadoc-generated files

This aids reproducible builds: besides the timestamp, `javadoc` will create
the exact same files across different machines, java versions, etc.