1st PR on develop branch for easybuild-docs

ping
can the name of the day be added too? `Tue 21 October 2014`?