1st PR on develop branch for easybuild-docs

ping
the bold & typewriter font is still a problem; if both don't play nicely together, just take out the typewriter part out of the bold, e.g.:

```
``$EASYBUILD_CONFIGFILES`` **environment variable**
```