Nth PR on develop branch for easybuild-docs, for N=5

still bits and pieces to improve, but ok to receive the first round of feedback
Use ``eb --force/-f`` to force the reinstallation of specified easyconfigs, regardless of whether matching modules are available or not.