.gitlab-ci.yml: more meaningful name for releases, adjust manual

The 'manual' actions concern here 'publish_release' and 'deploy_prod',
the two stages that publish/deploy the release to public places.