Enhance build configuration and artifact management in CI

[m-aciek]

This pull request updates the .github/workflows/build.yaml workflow to improve flexibility and consistency in building and publishing documentation. The main changes include adding new workflow inputs, updating artifact naming conventions to use a more accurate version identifier, and making publishing to GitHub Pages optional and more robust.

Workflow input and parameter improvements:

• Added new workflow inputs: dist_version, repository, and publish, allowing users to specify the distribution version, repository to checkout, and whether to publish documentation to GitHub Pages. The default values ensure backward compatibility.
• Updated the repository checkout step to use the new repository input, making the workflow more flexible for different repositories.

Artifact naming and output consistency:

• Changed artifact names and paths to use the dist_version input instead of reference, ensuring consistency with the output of patchlevel.py and improving clarity in artifact naming.
• Added a new artifact upload step for LaTeX log and .tex files as pdf-logs.zip to aid in debugging PDF build issues.

Publishing improvements:

• Made the publishing steps (checkout, copy, commit, and push to gh-pages) conditional on the publish input being set to 'true', preventing accidental publishing and allowing for more controlled releases.
• Updated the copy and commit commands to use dist_version instead of reference, ensuring that published files match the correct versioning scheme.

Dependency update:

• Added librsvg2-bin to the list of installed packages, which may be required for SVG processing in documentation builds.