Add a regular "make dist" job to CI

Michal Nowak requested to merge 1999-add-a-regular-make-dist-job-to-ci into main

It's easy to break make dist by adding and moving files around. We should test this scenario regularly, to prevent release-time surprises.

Closes #1999 (closed).

Merge request reports