Notes to my future self:
The .atr and .zip file are in git. So always do a "make zip" before
a "git push".
The .xex files (other than setmem.orig.xex) are *not* in git.
Don't update VERSION for documentation changes. Only update it if the
actual .xex files change.