Update version number and ChangeLog.