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
... to build. Refer to the "Software search and build options" section in the `eb --help` output for an overview of the available command line options for this purpose (cfr. :ref:`BasicUsagehelp`).