.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.
15 jobs for dev in 3 minutes and 44 seconds (queued for 2 seconds)