Here are some externally visible changes for an internal change: we will
stop copying documentation from the "pubs" repo, and some of that logic
has leaked through into the open parts, and will be removed with this patch.
I have also renamed Javadoc.gmk to Docs.gmk to better fit the current
purpose, and included some other minor cleanups.