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
replace by `GCC-4.8.3.eb` (cfr. @stdweird's remark w.r.t. use of dummy toolchains)