Redirects documentation root to latest

GitLab CI should push a redirection page to the "latest" tag directory, without an extra job.