Configure GitHub workflow for building documentation

[kisielewski]

The objective is to set up a GitHub Actions workflow that automates the documentation build process. The workflow should be triggered by two specific events: a manual trigger via workflow_dispatch and the creation of a new tag. This setup will ensure that documentation is generated on demand or during official releases.