GitLab

New target: distfiles, create all distribution archives, regardless of
archive format.  (Individual targets remain for each archive format.)