CI: release automation

To release more frequently, it would be beneficial to consider making a full release by pushing a tag to the main branch.

That might bring some additional scripts.