Pbs backend + bug fix


The bug-fix is one-line change.

The PBS backend is big commit which includes tests.
The test workflow(s) are a bit fragile: some failure trigger the clean-up too soon. But it is a testing problem; they should not block the PBS backend.