docs: enable versioning of the documentation

[mtardy]

Technically making the theme work with multiple versions should be pretty straightforward. The thing to figure out is how to serve those different versions correctly using the current deployment tool: GitHub pages.

This would be useful when v1.1 is released.