Merge pull request #9 from fgeorgatos/develop

Nth PR on develop branch for easybuild-docs, for N=9
Merge branch 'develop' of https://github.com/boegel/easybuild into develop