Deploying versioned documentation on GitLab with Documenter.jl

OK, with a bit of fiddling, everything works now. It’s still a manual process but I’ll make a PR to Documenter.jl which makes it a bit easier. You can read the everything in the issue https://github.com/JuliaDocs/Documenter.jl/issues/2061