chore: update the CI to compile and deploy Antora docs

[zepfred]

The PR updates the secure PR pipeline and adds a new job for compiling and deploying the Antora docs.

1. The compilation step is necessary because certain errors are only detected during the release process, which could delay the solver's release.
2. The deployment step can help identify issues during the documentation development phase, such as incorrect title configuration, inconsistent menu items, etc.
3. The deployment step ensures that it is not used on the main branch and that the production remains unchanged.

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarCloud

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

[triceo]

@pieterdeschepper Please review.

@zepfred Maybe we want to remove the -Dfull from the solver CI? It exists to build the docs, but now that we have a separate job for it, we can save some time.

(The failure has been fixed in the meantime.)

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud