[maven-release-plugin] prepare release portal-4.0.1
[maven-release-plugin] prepare for next development iteration
Merge remote-tracking branch 'wf4ever/master' into wf4ever-develop