WebSite: build the version switcher from ../versions.json

This means that we don't have to update "old" documentation to add new
versions to the switcher, only enhance the versions.json file.