Add versioning to documentation

[bakpaul]

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.