builder/website: Add some missing files to EXTRA_DIST.
Version 1.25.7.