Updated CHANGES.txt and release procedure