Add documentation for JDK recognition keys
Output python library summary in HTML format