make-fonts-archive.py: This script archives the fonts from gui/themes/fonts to dists/engine-data/fonts.dat devtools/module.mk: Add a build target for fonts.dat