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.