Add FILES file to .gitignore

So that bin/upgrade won't complain that my repo is dirty because of
FILES.