Use Jenkins FilePath api for cleaning workspace

Easier to let Jenkins internal api to manage the deletion of workspaces.