Merge branch 'config_file' into 'master'

Suggests configuration file should be the default "way" with `verify.py`

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:

```sh
$ ./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.

See merge request !36