run a specific configuration once
Merge branch 'sub' of https://github.com/soundnsilence/opentuner-1 into sub