Add versioning to documentation #205
Description
The documentation changes along the commits and the dev cycles. But users are usually base don a release and might sometimes stuble upon a doc that is now too new and includes things that are irrelevant to the last release.
We should add a mechanism on the doc site to change the doc version.