gitlab-ci: add a distribution step.

I don't add this at the end of the distcheck job to make the interface clearer, and also because the distcheck job will have full build artifacts (allowing to debug a failing distcheck if necessary), whereas the sources job will just publish tarballs and SHA256 sums generated from these tarballs. Simple, clean.