pptools/pfpickle.py: Fix processing of datasets generated with $BBOB_INSTRIPES
Merge branch 'master' into cmabhop