improve jenkins job handling
use syn_otp.cmd to clean up werldir