Updated Jenkinsfile.
Updated Jenkinsfile.

Signed-off-by: peusterm <72ac0265e9d38404e4fd1207fa3b28b42966f5c9@uni-paderborn.de>

stevenvanrossem/son-emu,stevenvanrossem/son-emu,stevenvanrossem/son-emu,stevenvanrossem/son-emu