Pkg files are not updated

[ozapft]

There have been a few commits since the last weeks now, but the installable pkg files of webman mod or prepiso did not change on GitHub.

[aldostools]

I will update the package in the next commit. Some of the changes in the latest commits are already included in the published pkg files.

I forgot to submit the commit the same day I updated the packages.