gitlab-ci: shorten job prefixes

This helps to maximize the amount of information visible in the GitLab web interface.

Also document their meaning in the developer documentation and in the CI configuration file directly.

See: https://gitlab.com/gitlab-org/gitlab/-/issues/8496