Documentation should be built from latest stable release

[jgosmann]

It seems the documentation published online is always built from the latest commit on master. However by default the documentation for the latest stable version should be shown. Even better if documentation for multiple versions would be available via the version selector.