Merged requested to merge config_file into master
In this merge request, the idea is we emphasize people should rather use configuration files with
verify.py. The change is minor, but allows users to run the script issuing:
$ ./bin/verify.py -vv <my-config>
I mark it as a work-in-progress, because I still wanted to have
<my-config> to optionally be a resource. @mguenther: could you please make so? I'm not sure I'm capable of doing this with ruining something else. This will allow us to distribute baselines inside packages, w/o requiring users to know where they are installed.