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.