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