[9] Review request: 8180064: Add missing copyright headers to package.html files

[Kevin Rushforth]

Jonathan,

Please review the following simple fix to add proper copyright headers 
to each package.html file and also the three other .html files in our 
doc-files directories:

https://bugs.openjdk.java.net/browse/JDK-8180064
http://cr.openjdk.java.net/~kcr/8180064/webrev/

Thanks.

-- Kevin