scripts/prepare_dist_from_git.sh: Generate correct REVISION file contents.