Jenkins batch-task plugin