Add support for switching to different version of the documentation

The user should be able to switch to a specific version of the documentation, including a future one (i.e. that is not yet published).

This could be done by letting the writer specify a `<versionListUrl>` in `site.xml`, that will be fetched client-side in JS to provide the list to the reader.