Provide stable doc version by naming docs directory 0.9.x, e.g.
Merge pull request #781 from stefanv/gh_stable_doc_versions

WIP: Provide stable doc version by naming docs directory 0.9.x, e.g.