Add overview.html to Javadoc, and fix jsonpointer's package-info.java