Add a regular "make dist" job to CI

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).