Add CHANGES file, and make pre-release tweaks