Make the Hibernate ORM documentation to redirect to the latest version found
Description
Currently, the orm/documentation/index.html does the redirection to the latest ORM version (e.g. 5.2) using hard-coded values. This can be improved now that we have all the versions listed in the orm-doc-version.js script.