[Jenkins] prepare release 0.9.4
[Jenkins] prepare for next development iteration