plugin for publishing javadoc in static github pages