fix bug in the LibpfmSensor tests (problem with a script termination) + bug in LibpfmFormula (when the processor uses only the min frequency)