Improve docs generation by integrating a docbook and a javadoc in one big zip