1st PR on develop branch for easybuild-docs

ping
we have 4 different ticket trackers: easybuild - easybuild-framework - easybuild-easyblocks - easybuild-easyconfigs :)