Update CHANGES.txt to set the release date for 2.5.1