1st PR on develop branch for easybuild-docs

ping
slightly reformat this to:

```
The order of preference for the different configuration types is as
listed above, that is:
- environment variables override the corresponding entries in the configuration file
- command line arguments in turn override the corresponding environment variables *and* matching entries in the configuration file
```