1st PR on develop branch for easybuild-docs

ping
I know this is  possible, yet a couple of experiments didn't work on it (Sphinx gave ERROR), so we look on it a bit later