generate manual during release


For unknown reasons, executing Josman automatically during a maven build is problematic. So for now we will have to manually generate the documentation and store it into the release zip  :-/