[Pharo-project] Delete workspace before build starts

[Pavel Krivanek]

Hi,

as I see, there is a new job configuration option "Delete workspace
before build starts". From what plugin does it come? I want to notice
that now workspaces on Jenkins are not visible to public.

-- Pavel