1st PR on develop branch for easybuild-docs

ping
how will we ever not forget to bump the version in both places? is there a way we can grab the version from the `setup.pty` file which lives in this repository too?