benchmarker.py: set cpu frequency governor to "performance" before running tests