Build: remove timestamp from javadoc pages

By default, the javadoc task inserts the current time into a comment in
the javadoc pages, which is at odds with reproducible builds. This
commit

- sets the `-notimestamp` option to remove that timestamp
- removes the `-html5` option which has no function in current javadoc
  versions. The output is always in html5.
- adds an MPLv2 notification to the bottom of every page
- changes the arg types from `line` to `value`. `line` implies
  shell-like parsing that splits arguments on spaces, but that is not
  how they are being used here.

Signed-off-by: Tony Germano <tony@germano.name>

Author: tonygermano

server/build.xml

@@ -1203,9 +1203,12 @@
 
 		<javadoc sourcepath="${src}:${jdk_src_path}" destdir="${docs.javadocs.userapi}" packagenames="com.mirth.connect.server.userutil,com.mirth.connect.userutil,com.mirth.connect.plugins.httpauth.userutil" link="https://docs.oracle.com/en/java/javase/17/docs/api/">
 			<classpath refid="classpath" />
-			<arg line="-html5"/>
-			<arg line="--add-modules=java.sql.rowset"/>
-			<arg line="--add-exports=java.sql.rowset/com.sun.rowset=ALL-UNNAMED"/>
+			<bottom>
+				<![CDATA[Licensed under the <a href="https://www.mozilla.org/MPL/2.0/">Mozilla Public License 2.0</a>.]]>
+			</bottom>
+			<arg value="-notimestamp"/>
+			<arg value="--add-modules=java.sql.rowset"/>
+			<arg value="--add-exports=java.sql.rowset/com.sun.rowset=ALL-UNNAMED"/>
 		</javadoc>
 	</target>