[v9_11] Generate the ARM during CI
This MR is the first step towards automatic ARM updates in GitLab Pages. Each CI pipeline will now generate the HTML version of the ARM and make it available for download as an artifact archive. Generated docs are not yet published automatically - this will be taken care of by a separate MR.
See #565 (closed)