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
OK. 
In documentation there is generally a principle of receiving fast reward, and to be careful with the attention-span of the reader; if we use GCC, we need to give an indication of build duration, as a minimum... so, I've added a comment to make this more clear.